15 Sep
2016
15 Sep
'16
9:22 a.m.
Hi Peng, We at Data61 have not written any ethernet driver code for the TK1. Perhaps somebody else has? Adrian On Thu 15-Sep-2016 7:32 AM, PX wrote: 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 _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel