<div dir="ltr"><div>Secure Os means something like tiny os available <a href="http://www.tinyos.net/">http://www.tinyos.net/</a> or SEL4 <a href="http://ssrg.nicta.com/projects/seL4/">http://ssrg.nicta.com/projects/seL4/</a><br>
<br></div>Any board has wifi connectivity?<br><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 28, 2014 at 10:38 AM, Kristofer Hallin <span dir="ltr"><<a href="mailto:kristofer.hallin@gmail.com" target="_blank">kristofer.hallin@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">What do you mean with a secure OS? What do you need it to do? </p>
<p dir="ltr">(Also, is this related to the kernel?)</p>
<div class="gmail_quote"><div><div class="h5">On 28 Aug 2014 07:04, "Robert Clove" <<a href="mailto:cloverobert@gmail.com" target="_blank">cloverobert@gmail.com</a>> wrote:<br type="attribution"></div></div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
<div dir="ltr"><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)">
<div><div><div>Hi All,<br><br><br></div><div>As much of you will be doing experiments i need your advice.<br></div>I want to run some secure OS on an embedded platform like raspberry pi or beagle board.<br></div>Can you suggest me which board is good and any secure OS that you have try'ed?<br>
</div>Any board having wi fi connectivity will be an advantage.<br><br><br></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;display:inline!important;float:none;background-color:rgb(255,255,255)">Regards</span></div>
<br></div></div>_______________________________________________<br>
Kernelnewbies mailing list<br>
<a href="mailto:Kernelnewbies@kernelnewbies.org" target="_blank">Kernelnewbies@kernelnewbies.org</a><br>
<a href="http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies" target="_blank">http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies</a><br>
<br></blockquote></div>
</blockquote></div><br></div>