Problems booting L4Linux2.4+L4Env
adam at os.inf.tu-dresden.de
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 os.inf.tu-dresden.de
More information about the l4-hackers