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