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.aumailto:kevin.elphinstone@nicta.com.au T +61 2 8306 0573 www.data61.csiro.auhttp://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.