Thank you all.
But are there any projects on top of sel4 microkernel which implement
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.
On Mon, Nov 2, 2015 at 10:54 PM, Gernot Heiser <gernot(a)nicta.com.au> wrote:
On 3 Nov 2015, at 14:46 , Raymond Jennings
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.
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