20 Oct
2004
20 Oct
'04
6:39 p.m.
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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/