Hi,
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):
- l4env_register_pointer_section(&__init_begin, 0, "sec-w-init");
- 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