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, <adrian.da...@data61.csiro.au> 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 listDevel@sel4.systemshttps://sel4.systems/lists/listinfo/devel
>
>
>
> _______________________________________________
> Devel mailing list
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel
>
>
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to