Hi there,<div><br></div><div>I&#39;m a currently working on a research proposal about multi-kernel ideals in network interfaces.</div><div>I noticed a paragraph under &quot;Experience and future work&quot; in your paper stating you where working on an ARM port to support programmable network cards.</div>
<div>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.</div><div>Any information would be greatly appreciated.</div>
<div><br></div><div><br></div><div>--</div><div>Regards,</div><div>Robert</div>