Re: [seL4] How is network stack implemented in sel4

Hi Yuxin, The AOS project includes a serial console and file system over Ethernet. The target platform for this project is the SabreLite: http://www.cse.unsw.edu.au/~cs9242/current/ Project source files are available here: https://bitbucket.org/kevinelp/unsw-advanced-operating-systems Keep in mind that this project represents a simple application of IP stack and network drivers. In your system, you may want to isolate the DMA capable driver from the IP stack and the server/client components. - Alex Kroh On Tue, 2015-11-03 at 12:32 -0500, Yuxin Ren wrote:

Thank you all.

But are there any projects on top of sel4 microkernel which implement network functionality? I don't think I need to build the whole network stack from bare metal. It is best for me to just refer some existing projects and run simple network application on top of it.

Yuxin

On Mon, Nov 2, 2015 at 10:54 PM, Gernot Heiser wrote:

...

...

On 3 Nov 2015, at 14:46 , Raymond Jennings wrote:

So the kernel itself doesn't actually "own" any capabilities, just does the bookkeeping and enforcement?

Caps are like keys: they authenticate access. The kernel doesn’t need them for its own purposes. However, our integrity and confidentiality proofs show that the kernel will not on its own access user memory, unless on behalf of a thread who demonstrates that it is authorised by presenting an appropriate caps.

Gernot

________________________________

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. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

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