Re: Board and OS suggestion

[Kernel Apprentice <kernelapprentice@xxxxxxxxx>]

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:

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.

Can you suggest me which board is good and any secure OS that you have try'ed?

Any board having wi fi connectivity will be an advantage.

Regards

_______________________________________________
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