Problems booting L4Linux2.4+L4Env

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Oct 20 18:39:27 CEST 2004


hi,

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list