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