News for hackers. Stuff that matters.
Re:L4Linux – Linux running on the L4 microkernel by yjftsjthsd-h on Friday January 18, 2019 @10:39PM (#18945181)
Can I ask what you'll find it useful for? The technology is neat, I'm just struggling to think of something that would benefit from it.
Re:L4Linux – Linux running on the L4 microkernel by elcritch on Thursday January 24, 2019 @04:03PM (#18992942)
Primarily for soft (or hard) real time operations. Even kernel modules running in a RT-Linux have a difficult time responding consistently to an IRQ at sub-10 uS latency. Of course, the larger SoC capable of running Linux can have hardware latencies due to shared data buses, etc. but still having a RTOS layer “underneath” Linux would be a good way to ensure more consistent responses.