Lo,
Sorry, but currently I cannot work on this. Björns descriptions of a workaround sounds reasonable.
No, problem. kmalloc() works like a charm.
Next problem: ORe seems to work fine (I can reach mini_http from another host), though I cannot setup the interface in L4Linux. I encountered the same error messages as described here [1].
eth0: Overwriting IRQ type for IRQ 0 with l4ore type! eth0: request_irq(0, ...) failed
Unfortunately this thread didn't come to a solution. Any further ideas?
Stefan
[1] http://thread.gmane.org/gmane.comp.micro-kernel.l4.devel/1039/focus=1143