The most mature networking stack we have at the moment (a situation that is obviously evolving),  it the lwIP library we have used in the context of supporting a virtual machines on CAmkES on seL4.

 

https://github.com/seL4/camkes-vm/tree/master/liblwip

 

I currently have a student exploring how the rumpkernel work might be leveraged to make seL4 more accessible to more platforms and devices with more (or less) POSIX-y functionality. The outcomes of this work would be expected in the second half of the year.

 

http://rumpkernel.org/

 

-          Kevin

 

 

 

Assoc. Prof. Kevin Elphinstone, Trustworthy Systems

DATA61 | CSIRO

E kevin.elphinstone@nicta.com.au T +61 2 8306 0573

www.data61.csiro.au

 

CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61

 cid:image001.png@01D0EFD9.052ECFC0

 

 

From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Norrathep Rattanavipanon
Sent: Wednesday, 23 March 2016 6:11 AM
To: devel@sel4.systems
Cc: GTS <gts@ics.uci.edu>; El Defrawy, Karim M <kmeldefrawy@hrl.com>
Subject: [seL4] Network Stack and Driver

 

Hello,

 

My name is Oak and I'm working with Prof. Gene Tsudik for remote attestation project using sel4. I know that you guys are not interested in developing network stack and drivers for sel4.

But do you happen to know if anyone else has done some work with network stack and Wi-fi, Bluetooth or ethernet driver in sel4?

 

Regards,

Oak 

 

--

Norrathep (Oak) Rattanavipanon

M.S. in Computer Science

University of California - Irvine



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.