Re:L4Linux – Linux running on the L4 microkernel
by Koshkin on Friday January 18, 2019 @08:51PM
(#18944767)
The idea seems to be to use paravirtualized Linux as a “time-sharing component” of a system that otherwise provides real-time capabilities...
[ Parent
| on HN ]