Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
Haelwenn /элвэн/ :triskell: (lanodan@queer.hacktivis.me)'s status on Saturday, 30-Sep-2023 07:39:10 JSTHaelwenn /элвэн/ :triskell: @lispi314 @NeonPurpleStar Yeah AFAIK OKL4 and SeL4 are real-time and L4/Fiasco is used as basis for DROPS which has real-time + L4Linux.