developing a Ethernet card server for seL4

15 Sep 2016


      Hi, all,
We want to develop a networking service on top of seL4, which works as a
hypervisor, on Jetson TK1. We know that there is source code for lwip
under /projects/util_libs/libethdrivers,
but there is no support for TK1. We want to know how much effort needed to
port the code to TK1 platform? Is it straightforward? Is there any TK1
ethernet driver source code available?

Peng

PX

tags

participants (3)