Re:L4Linux – Linux running on the L4 microkernel
by microcolonel on Sunday January 20, 2019 @01:43PM
(#18954711)
I still can't tell what L4 you're talking about. I've heard that there are some pretty big differences in performance between other L4s and seL4, for example.
[ Parent
| on HN ]
Re:L4Linux – Linux running on the L4 microkernel
by alalo on Sunday January 20, 2019 @05:59PM
(#18956170)
The 4% come from a application-level benchmark that was popular back then.
This is about ARM9/armv5 too, which is not suited for any multi-user OS as address spaces switching is very expensive compared to today's architectures (armv6+) due to the needed cache flushing on every address space switch. This has nothing to do with L4 variants, this is an architectural issue.