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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to