Sorry will take care of that
On Thu, Aug 28, 2014 at 11:56 AM, Kernel Apprentice <kernelapprentice@xxxxxxxxx> wrote:
I'm a Kernel noob myself, but you do realise this is the mailing list for people that are trying to get into Linux Kernel Development and thus completely unrelated to any other Operating Systems?
Secure Os means something like tiny os available http://www.tinyos.net/ or SEL4 http://ssrg.nicta.com/projects/seL4/Any board has wifi connectivity?
On Thu, Aug 28, 2014 at 10:38 AM, Kristofer Hallin <kristofer.hallin@xxxxxxxxx> wrote:
What do you mean with a secure OS? What do you need it to do?
(Also, is this related to the kernel?)
On 28 Aug 2014 07:04, "Robert Clove" <cloverobert@xxxxxxxxx> wrote:
_______________________________________________RegardsAny board having wi fi connectivity will be an advantage.Can you suggest me which board is good and any secure OS that you have try'ed?Hi All,
As much of you will be doing experiments i need your advice.I want to run some secure OS on an embedded platform like raspberry pi or beagle board.
Kernelnewbies mailing list
Kernelnewbies@xxxxxxxxxxxxxxxxx
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@xxxxxxxxxxxxxxxxx http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@xxxxxxxxxxxxxxxxx http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
