Habr1d ago

[Перевод] Введениев в микроядро Sel4

Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.

https://habr.com/ru/articles/1036890/

#sel4 #микроядро #microkernel #верификация #secure #realtime #безопасность #capability #операционные_системы #производительность

Введениев в микроядро Sel4

Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер...

Хабр
sayzardMay 9

Designing Microkernel IPC

이 글은 마이크로커널 운영체제에서 핵심적인 역할을 하는 프로세스 간 통신(IPC) 설계에 대해 다룹니다. FTL OS의 IPC 설계 경험을 바탕으로 동기식과 비동기식 IPC의 장단점, 데드락 문제 해결을 위한 알림(notify) 메커니즘, 그리고 IDL 기반 메시지 정의와 FTL의 No-IDL 설계 방식을 비교 설명합니다. 특히 FTL은 Plan 9의 철학을 재발견하며, 메시지 직렬화 비용을 없애고 간결한 시스템 호출 인터페이스를 구현한 점이 특징입니다. 또한, 푸시(push) 방식 대신 풀(pull) 방식을 채택해 백프레셔 문제를 완화하는 점도 강조합니다.

https://seiya.me/blog/microkernel-ipc-design

#microkernel #ipc #operatingsystem #asynchronous #ftl

Designing microkernel IPC

seiya.me
Adhidarma Hadiwinoto Apr 22

IMHO #linux bisa seperti saat ini bukan karena diawali ingin menjadi sesuatu yang ideal tetapi justru karena pragmatisme.

Pd saat itu desain #microkernel #minix yg tdk monolithic dianggap sebagai mimpi indah idealisme sebuah #kernel. Tetapi Torvalds dan yang lain melihat banyak hal sangat ribet untuk diimpelmentasikan menggunakan desain microkernel, sehingga mereka memilih pragmatis.

Hingga lahir dan terus berkembanglah linux yang tidak ideal tapi bisa berevolusi menjadi seperti sekarang.

Michael EngelApr 21

Does anyone have a copy of Johannes Helander's 1994 Master thesis "Unix under Mach: The Lites Server"? I can't find it online...

#mach #microkernel #unix #osdev

13Apr 14
They Weren’t Joking: Gentoo WAS ported to GNU Hurd https://hackaday.com/2026/04/13/they-werent-joking-gentoo-was-ported-to-gnu-hurd/
#SoftwareDevelopment #Gentoo #Gnu #Hurd #Kernel #Microkernel
They Weren’t Joking: Gentoo WAS Ported To GNU Hurd

Long ago, in the aftermath of the UNIX wars, three kernels emerged from the rubble: BSD, Linux, and Hurd. BSD, being UNIX, was held back by legal wrangling in the aftermath of the wars, and that al…

Hackaday
Hackaday [Unofficial]Apr 14

They Weren’t Joking: Gentoo WAS ported to GNU Hurd

https://fed.brid.gy/r/https://hackaday.com/2026/04/13/they-werent-joking-gentoo-was-ported-to-gnu-hurd/

They Weren’t Joking: Gentoo WAS Ported To GNU Hurd

Long ago, in the aftermath of the UNIX wars, three kernels emerged from the rubble: BSD, Linux, and Hurd. BSD, being UNIX, was held back by legal wrangling in the aftermath of the wars, and that al…

Hackaday
ArchiveOSApr 3
Nova Operating System – a project web server. Nova (Nova is a recursive acronym for “Nova Offers Virtually no Applications”) is the effort to create a POSIX-like system on top of the rtmk (Real-Time Microkernel) microkernel. https://archiveos.org/nova-os/ #operatingsystem #microkernel
Hacker Mar 3
Es gracioso, resulta que #Nintendo lleva utilizando desde la #3DS un #microkernel en sus consolas.
N-gated Hacker NewsJan 17
Introducing Xous: the world's most exciting #microkernel for #embedding your #dreams into “medium” devices! 🤖✨ Dive into #userspace #messaging wonders, because, who needs a simple, straightforward OS anyway? 📚🧐 Funded by Europe's finest to revolutionize the way we...well, forget it ever existed. 😂💰
https://xous.dev/ #Xous #tech #revolution #HackerNews #ngated
Xous Operating System

Xous is a microkernel operating system designed for medium embedded systems with clear separation of processes. Nearly everything is implemented in userspace, where message passing forms the basic communications primitive.

Show threadhttps://purl.org/rzr#Jan 8
https://fosdem.org/2026/fringe/# I am wondering if there is any #community side event like a dinner about #virtualization / #containers / #isolation / #cloud / #microkernel ? any hint @gyptazy from
#Proxmox community ?
FOSDEM 2026 - Fringe