<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
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?<br>
<blockquote
cite="mid:CAEMktPWPQLyv+sR7CufJjUxeyDAtw_6Eiu3foYi5+U85f6g2gA@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Secure Os means something like tiny os available <a
moz-do-not-send="true" href="http://www.tinyos.net/">http://www.tinyos.net/</a>
or SEL4 <a moz-do-not-send="true"
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
moz-do-not-send="true"
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 moz-do-not-send="true"
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 moz-do-not-send="true"
href="mailto:Kernelnewbies@kernelnewbies.org"
target="_blank">Kernelnewbies@kernelnewbies.org</a><br>
<a moz-do-not-send="true"
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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Kernelnewbies mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Kernelnewbies@kernelnewbies.org">Kernelnewbies@kernelnewbies.org</a>
<a class="moz-txt-link-freetext" href="http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies">http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies</a>
</pre>
</blockquote>
<br>
</body>
</html>