Board and OS suggestion

[Robert Clove]

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
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/0d2c7980/attachment.html