developing a Ethernet card server for seL4

PX

15 Sep 2016 15 Sep '16

7:32 a.m.

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

Attachments:

attachment.html (text/html — 645 bytes)

Show replies by date

Adrian.Danis＠data61.csiro.au

15 Sep 15 Sep

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

Julien Delange

20 Sep 20 Sep

4:18 a.m.

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, 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

PX

6:54 a.m.

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 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, 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

3013

Age (days ago)

3018

Last active (days ago)

List overview

Download

3 comments

3 participants

participants (3)

Adrian.Danis＠data61.csiro.au
Julien Delange
PX