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

Andy