Mentions in press and media 8
| Date | Title | Description |
| Sign up to see | Sign up to see | Sign up to see |
| Jun 27, 2026 | Состоялся выпуск проекта QSOE — операционной системы в стиле QNX с двумя заменяемыми микроядрами | В конце июня 2026 года состоялся первый выпуск проекта QSOE (проект на GitLab). Это спроектированное в стиле QNX решение, которое поставляется с двумя заменяемыми микроядрами Skimmer и seL4. Исходный код проекта написан на языке C и опублик... |
| Sep 14, 2024 | Navigating the Future: Redox OS and the End of Windows 10 Support | The tech landscape is shifting. Two significant developments are on the horizon: the rise of Redox OS and the impending end of support for Windows 10. Each represents a different approach to operating systems, with unique implications for u... |
| Sep 14, 2024 | Redox OS: операционная система на Rust с микроядром и поддержкой Unix. Что это за ОС? | Мы в Selectel любим изучать разные операционные системы. Сейчас в наше поле зрения попала Redox OS, которая считается альтернативой Linux/BSD системам. Она написана на языке Rust. По словам разработчиков, теперь ОС более безопасная и произв... |
| Jul 19, 2022 | Как устроена разработка ReactOS, зачем в неё контрибьютить и почему она уже 20 лет в альфе | Виктор Перевёрткин, cистемный разработчик в «Лаборатории Касперского» и активный участник комьюнити разработчиков ReactOS — о том, как устроена и кем создаётся ReactOS и работают ли в ней HOMM III. Статья написана на основе выпуска подкаста... |
| Feb 11, 2022 | Australian-developed secure microkernel takes to the skies | The University of NSW’s Trustworthy Systems research group has announced a collaboration with UAE-based Secure Systems Research Center (SSRC) to adopt its seL4 secure microkernel technology. Last May, UNSW threw a funding lifeline to the Da... |
| Apr 8, 2020 | The seL4 microkernel: Optimized for security and endorsed by the Linux Foundation | Image: iStockphoto/Spectral-Design The Linux Foundation is a fundamental organization for the promotion of open source software and has officially endorsed the seL4 microkernel. To further boost seL4, the Linux Foundation will host seL4 Fou... |
| Jul 28, 2014 | The Open Source Code That Defends Drones From Hackers | The drone test. Image: YouTube screenshot/NICTA Starting tomorrow, you'll be able to get your hands on a tool developed to counter cyberattacks against drones. The Register reports that researchers at Australian research centre NICTA will m... |
Reviews 0
FAQ about The seL4 Microkernel
What has the press written about The seL4 Microkernel?
Parsers VC has collected 8 articles mentioning The seL4 Microkernel, among them “Состоялся выпуск проекта QSOE — операционной системы в стиле QNX с двумя заменяемыми микроядрами” (Jun 27, 2026) and “Navigating the Future: Redox OS and the End of Windows 10 Support” (Sep 14, 2024).
Is The seL4 Microkernel still active?
Yes, The seL4 Microkernel is active; its latest activity on Parsers VC dates from Aug 19, 2026.