Hello there.
I've tested network performance of L4Linux network on real hardware and have not good results http://ksyslabs.org/doku.php?id=genode_network_perfomance Performance is very low. Do you have any ideas how to increase it?
-- Ivan Loskutov