seL4 does not provide a network stack or even

network device drivers. An OS on top of seL4

would have to provide their own drivers and stack

and is free to put them in a single server or in

different servers and choose how to communicate

between them.

On Mon, Nov 2, 2015 at 2:38 PM, Yuxin Ren <ryx@gwmail.gwu.edu> wrote:

Hi,

I have a few questions about network stack in sel4.

Is network stack implemented in the kernel or user level?
If in user level, are different protocols (IP/TCP) implemented in a
single server or different servers?
If in different servers, how do they communicate with each other?

Is there any example code to show how to use network? How to send and
receive TCP or UDP packets?
How can I set up the network environment on bare metal machine? Is
there documentation or instruction?

Thanks a lot!
Yuxin

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel