Has any work been done on network stack support for seL4?
Andy