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 < [email protected]> 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" <[email protected]> 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 >> [email protected] >> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies >> >>
_______________________________________________ Kernelnewbies mailing list [email protected] http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
