Problems booting L4Linux2.4+L4Env

Adam Lackorzynski adam at
Wed Oct 20 18:39:27 CEST 2004


On Wed Oct 20, 2004 at 17:13:38 +0100, Tiago Jorge wrote:
> I'm trying to boot L4Linux 2.4 with the L4Env following the explanation 
> that is in L4Linux webpage, i have encontered a problem. "names" is the 
> only server that is getting a memory page where he shouldn't.
> How can i solve this problem?

The link address of names is somewhat suboptimal. Go to
l4/pkg/names/server/src and change the value of DEFAULT_RELOC in
Make.rules to something like 0x7e000 or 0x200000 (I have it at 0x200000
right now and it works for me). (Hint: we should change this...)

Adam                 adam at

More information about the l4-hackers mailing list