L4Linux without L4Loader

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun May 6 14:06:14 CEST 2007


On Thu May 03, 2007 at 14:14:19 +0200, Daniel Vandersee wrote:
> L4Linux seems to work well, although I had to comment out those two
> function calls in the main function of (arch/l4/kernel/main.c):
>   1) l4env_register_pointer_section(&__init_begin, 0, "sec-w-init");
>   2) l4x_map_upage_myself();
> The second call seems to be uncritical, as it simply attaches the region
> to the address space of l4linux - which can be done by the pager as
> well.

Probably yes.

> The removal of the first call will probably cause problems, won't
> it? Wherefore .init.data has to be contigous? It seems that there are
> other memory regions allocated and used for DMA access.

init-memory is usually freed and added to the generic pool of memory and
may thus be also used by DMA. Currently, init-memory isn't freed but
that may change again.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list