Julien,
We are developing  an ethernet driver code for Jetson TK1, we are currently
just starting the debugging process. We will keep you updated if we make it
work...

thanks
Peng


On Mon, Sep 19, 2016 at 2:18 PM, Julien Delange <julien.dela...@gmail.com>
wrote:

> 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