L4Linux without L4Loader

Daniel Vandersee dvandersee at escrypt.com
Thu May 3 14:14:19 CEST 2007


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. 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.


More information about the l4-hackers mailing list