Sorry will take care of that
On Thu, Aug 28, 2014 at 11:56 AM, Kernel Apprentice < [email protected]> wrote: > 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]> 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 > [email protected]http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies > > >
_______________________________________________ Kernelnewbies mailing list [email protected] http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
