Board and OS suggestion

[Kernel Apprentice]

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 at gmail.com <mailto:kristofer.hallin at gmail.com>> 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 at gmail.com
>     <mailto:cloverobert at gmail.com>> 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 at kernelnewbies.org
>         <mailto:Kernelnewbies at kernelnewbies.org>
>         http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
>
>
>
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/87d54497/attachment.html