[Barrelfish-users] ARM port and programmable network cards

[Robert Pettersen]

Hi there,

I'm a currently working on a research proposal about multi-kernel ideals in
network interfaces.
I noticed a paragraph under "Experience and future work" in your paper
stating you where working on an ARM port to support programmable network
cards.
In that context I was wondering if you had made any progress, or plans on
how to integrate I/O devices like a network interface into your
implementation of a multi-kernel operating system.
Any information would be greatly appreciated.


--
Regards,
Robert
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20100507/e0d7ae83/attachment.html