News for hackers. Stuff that matters.

A comment on L4 microkernels: The lessons from 20 years of research and deployment. Parent comment

Re:L4 microkernels: The lessons from 20 years of research an... by indolering on Tuesday September 20, 2016 @07:20PM (#12544194)
You wouldn't, SEL4 isn't designed for embedded systems. That's what NICTA's eChronos [1] is for : )

1: http://ts.data61.csiro.au/projects/TS/echronos/

[ Parent | on HN ]
Re:L4 microkernels: The lessons from 20 years of research an... by nickpsecurity on Tuesday September 20, 2016 @10:31PM (#12544997)
seL4 is designed for embeddee systems. That's why it mainly targeted ARM. Gernot Heiser even said so. I believe eChronos is just targeted for embedded devices with more constrained hardware.
[ Parent | on HN ]
Re:L4 microkernels: The lessons from 20 years of research an... by indolering on Wednesday September 21, 2016 @03:56PM (#12551662)
> I believe eChronos is just targeted for embedded devices with more constrained hardware.

I guess it all depends on which meaning of IoT and embedded you are using.

[ Parent | on HN ]
Re:L4 microkernels: The lessons from 20 years of research an... by nickpsecurity on Wednesday September 21, 2016 @04:48PM (#12552080)
No MMU is usually the differentiating constraint when there's two RTOS's. I dont use IoT because it's a BS buzzword.
[ Parent | on HN ]