problems running l4linux No.2

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Aug 4 22:40:33 CEST 2009


Hi,

On Tue Aug 04, 2009 at 11:11:15 +0200, Stefan Kögel wrote:
> I am still trying to run l4linux on top of fiasco. I am running it on
> top of a console system and configured L4Linux2.6 without any input
> drivers. Thanks to your suggestion I am loading vmlinuz with a start script.
> 
> I can't tell you much, but once booted both serial and console are
> spammed with
> 
> ...
> l4lx    | l4env_phys_to_virt: Could not translate phys. address 0x94140
> l4lx    | l4env_phys_to_virt: Could not translate phys. address 0x94150
> l4lx    | l4env_phys_to_virt: Could not translate phys. address 0x94160
> ...
> 
> messages.
> 
> Did I forget to configure some kind of memory translation unit?

No but I'd guess that there's some driver in the Linux that causes this.
Maybe you could start from the x86-ux or x86-native defconfigs and see
if the same happens?



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list