Board and OS suggestion

[Robert Clove]

Sorry will take care of that


On Thu, Aug 28, 2014 at 11:56 AM, Kernel Apprentice <
kernelapprentice at gmail.com> 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 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> 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
>>> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>>>
>>>
>
>
> _______________________________________________
> Kernelnewbies mailing listKernelnewbies at kernelnewbies.orghttp://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/e8cccd53/attachment-0001.html