We are currently writing an ethernet driver code for the beaglebone black. I am stuck with the IRQ so far - I do not receive any interrupt from the hardware. If somebody is working on this, I am more than happy to share my code!
Julien. On Wed, Sep 14, 2016 at 7:22 PM, <[email protected]> wrote: > 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 [email protected]https://sel4.systems/lists/listinfo/devel > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
