* Board and OS suggestion
@ 2014-08-28 5:03 Robert Clove
2014-08-28 5:08 ` Kristofer Hallin
0 siblings, 1 reply; 5+ messages in thread
From: Robert Clove @ 2014-08-28 5:03 UTC (permalink / raw)
To: kernelnewbies
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/a77d6b45/attachment.html
^ permalink raw reply [flat|nested] 5+ messages in thread
* Board and OS suggestion
2014-08-28 5:03 Board and OS suggestion Robert Clove
@ 2014-08-28 5:08 ` Kristofer Hallin
2014-08-28 6:01 ` Robert Clove
0 siblings, 1 reply; 5+ messages in thread
From: Kristofer Hallin @ 2014-08-28 5:08 UTC (permalink / raw)
To: kernelnewbies
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" <cloverobert@gmail.com> 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
> Kernelnewbies at kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/6b589a94/attachment.html
^ permalink raw reply [flat|nested] 5+ messages in thread
* Board and OS suggestion
2014-08-28 5:08 ` Kristofer Hallin
@ 2014-08-28 6:01 ` Robert Clove
2014-08-28 6:26 ` Kernel Apprentice
0 siblings, 1 reply; 5+ messages in thread
From: Robert Clove @ 2014-08-28 6:01 UTC (permalink / raw)
To: kernelnewbies
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 <
kristofer.hallin@gmail.com> 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" <cloverobert@gmail.com> 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
>> Kernelnewbies at kernelnewbies.org
>> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/0d2c7980/attachment.html
^ permalink raw reply [flat|nested] 5+ messages in thread
* Board and OS suggestion
2014-08-28 6:01 ` Robert Clove
@ 2014-08-28 6:26 ` Kernel Apprentice
2014-08-28 7:15 ` Robert Clove
0 siblings, 1 reply; 5+ messages in thread
From: Kernel Apprentice @ 2014-08-28 6:26 UTC (permalink / raw)
To: kernelnewbies
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
> <kristofer.hallin at gmail.com <mailto:kristofer.hallin@gmail.com>> 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" <cloverobert@gmail.com
> <mailto:cloverobert@gmail.com>> 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
> Kernelnewbies at kernelnewbies.org
> <mailto:Kernelnewbies@kernelnewbies.org>
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
>
>
>
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/87d54497/attachment.html
^ permalink raw reply [flat|nested] 5+ messages in thread
* Board and OS suggestion
2014-08-28 6:26 ` Kernel Apprentice
@ 2014-08-28 7:15 ` Robert Clove
0 siblings, 0 replies; 5+ messages in thread
From: Robert Clove @ 2014-08-28 7:15 UTC (permalink / raw)
To: kernelnewbies
Sorry will take care of that
On Thu, Aug 28, 2014 at 11:56 AM, Kernel Apprentice <
kernelapprentice@gmail.com> 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 <
> kristofer.hallin at gmail.com> 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" <cloverobert@gmail.com> 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
>>> Kernelnewbies at kernelnewbies.org
>>> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>>>
>>>
>
>
> _______________________________________________
> Kernelnewbies mailing listKernelnewbies at kernelnewbies.orghttp://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140828/e8cccd53/attachment-0001.html
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2014-08-28 7:15 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-08-28 5:03 Board and OS suggestion Robert Clove
2014-08-28 5:08 ` Kristofer Hallin
2014-08-28 6:01 ` Robert Clove
2014-08-28 6:26 ` Kernel Apprentice
2014-08-28 7:15 ` Robert Clove
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.