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