Hi,
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.
Regards,
Daniel