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 <[email protected]> wrote: > > > >> On 3 Nov 2015, at 14:46 , Raymond Jennings <[email protected]> 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 > > [email protected] > > https://sel4.systems/lists/listinfo/devel > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
