#microkernel — Public Fediverse posts

If you were going to write a lil computer kernel UNIX clone as a little side project to learn about operating systems and hardware, what language would you write it in (as of today, August 12th, 2026)?

#programming #computerScience #kernel #microKernel #monolithicKernel #unix #linux #posix

If you were going to write a lil computer kernel UNIX clone as a little side project to learn about operating systems and hardware, what language would you write it in (as of today, August 12th, 2026)?

#programming #computerScience #kernel #microKernel #monolithicKernel #unix #linux #posix

💡 Maybe we should revisit microkernels

https://notes.hella.cheap/maybe-we-should-revisit-microkernels.html

#osdev #microkernel

💡 Maybe we should revisit microkernels

https://notes.hella.cheap/maybe-we-should-revisit-microkernels.html

#osdev #microkernel

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

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

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

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

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.

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

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

Es gracioso, resulta que #Nintendo lleva utilizando desde la #3DS un #microkernel en sus consolas.

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

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

Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25

Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25

🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

｢ LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separation of concerns and a focus on simplicity ｣

https://arxiv.org/html/2501.06234v2

#lionos #microkernel #osdev #opensource

🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

｢ LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separation of concerns and a focus on simplicity ｣

https://arxiv.org/html/2501.06234v2

#lionos #microkernel #osdev #opensource

Resilience, fault tolerance, scalability—every style, from layered to #Microkernel, balances performance, agility & maintainability differently. Mahendra Rao Bandaru maps the trade-offs shaping the software we rely on.
Read: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/

#DevOps @Firefox @thoughtworks

Resilience, fault tolerance, scalability—every style, from layered to #Microkernel, balances performance, agility & maintainability differently. Mahendra Rao Bandaru maps the trade-offs shaping the software we rely on.
Read: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/

#DevOps @Firefox @thoughtworks

The latest pre-release of HarmonyOS NEXT (based on the HongMeng Microkernel) running on Huawei Mate 60 Pro (hardware originally released in 2023). Sorry for the pointless demo, it was during a social event and I didn't want to play alone with a phone in the corner 😅️ #microkernel #smartphone #harmonyos

The latest pre-release of HarmonyOS NEXT (based on the HongMeng Microkernel) running on Huawei Mate 60 Pro (hardware originally released in 2023). Sorry for the pointless demo, it was during a social event and I didn't want to play alone with a phone in the corner 😅️ #microkernel #smartphone #harmonyos

Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
https://fosdem.microkernel.info/
#microkernel #fosdem

Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
https://fosdem.microkernel.info/
#microkernel #fosdem

HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone

HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone

I think I'm going to take inspiration from #seL4's microkit system description for my #rust #microkernel I don't feel like implementing automatic device discovery, so defining drivers in a static file would be a good way to avoid that complexity. the only difference is, I think I'll use TOML instead of XML because I really, really hate XML.

I think I'm going to take inspiration from #seL4's microkit system description for my #rust #microkernel I don't feel like implementing automatic device discovery, so defining drivers in a static file would be a good way to avoid that complexity. the only difference is, I think I'll use TOML instead of XML because I really, really hate XML.

im gonna experiment with seL4 :3
might even try to write some Rust code for it!

#sel4 #microkernel #rustlang #rust

im gonna experiment with seL4 :3
might even try to write some Rust code for it!

#sel4 #microkernel #rustlang #rust

Monolith, pipeline, #Microkernel—each comes with benefits and risks. Mahendra Rao Bandaru details real-world uses from JIRA to Chrome, and where each pattern delivers best. Read now: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/

#SoftwareEngineering #ArchitecturePatterns #JIRA #DevOps @atlassian

Monolith, pipeline, #Microkernel—each comes with benefits and risks. Mahendra Rao Bandaru details real-world uses from JIRA to Chrome, and where each pattern delivers best. Read now: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/

#SoftwareEngineering #ArchitecturePatterns #JIRA #DevOps @atlassian

🐢🎩 Look! ETH Zürich's team of digital wizards just unearthed another mystical attack, VMScape! 💥 But wait—Xen's #microkernel struts around untouched, laughing at its fallen peers KVM and VMware. 🕵️‍♂️ Apparently, the new recipe for security involves adding a sprinkle of "microkernel" and a dash of "not giving a damn." 🤷‍♂️
https://virtualize.sh/blog/vmscape-and-why-xen-dodged-it/ #ETHZürich #VMScape #cybersecurity #Xen #HackerNews #ngated

🐢🎩 Look! ETH Zürich's team of digital wizards just unearthed another mystical attack, VMScape! 💥 But wait—Xen's #microkernel struts around untouched, laughing at its fallen peers KVM and VMware. 🕵️‍♂️ Apparently, the new recipe for security involves adding a sprinkle of "microkernel" and a dash of "not giving a damn." 🤷‍♂️
https://virtualize.sh/blog/vmscape-and-why-xen-dodged-it/ #ETHZürich #VMScape #cybersecurity #Xen #HackerNews #ngated

The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit

The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit

⚠️ Just a reminder, folks:

The "container" movement on Linux emerged as a convenient way to manage different, possibly conflicting settings & dependencies for different apps on a machine. "Security" by sandboxing got tacked on later, and the quality of that isolation remains LOW regardless of all the trendy project names and acronyms that have filled that space.

Data centers' standard for high security consists of virtual machines (type 1 hypervisors) or separate dedicated hardware. Ain't no way, no how is a successful datacenter going to ask a giant, complex, contorted Linux or BSD (or hybrid Windows or Mac) kernel for sandboxing services to contain threats.

If you are using containers to enhance security – on any general-purpose machine – make sure they are running as VMs, or as sandboxes on a microkernel (not monolithic) architecture.
#infosec #security #containers #hypervisors #microkernel

⚠️ Just a reminder, folks:

The "container" movement on Linux emerged as a convenient way to manage different, possibly conflicting settings & dependencies for different apps on a machine. "Security" by sandboxing got tacked on later, and the quality of that isolation remains LOW regardless of all the trendy project names and acronyms that have filled that space.

Data centers' standard for high security consists of virtual machines (type 1 hypervisors) or separate dedicated hardware. Ain't no way, no how is a successful datacenter going to ask a giant, complex, contorted Linux or BSD (or hybrid Windows or Mac) kernel for sandboxing services to contain threats.

If you are using containers to enhance security – on any general-purpose machine – make sure they are running as VMs, or as sandboxes on a microkernel (not monolithic) architecture.
#infosec #security #containers #hypervisors #microkernel

The SeL4 Microkernel: An Introduction [pdf]

https://sel4.systems/About/seL4-whitepaper.pdf

#HackerNews #SeL4 #Microkernel #Introduction #seL4 #Whitepaper #Microkernel #Architecture #System #Security

The SeL4 Microkernel: An Introduction [pdf]

https://sel4.systems/About/seL4-whitepaper.pdf

#HackerNews #SeL4 #Microkernel #Introduction #seL4 #Whitepaper #Microkernel #Architecture #System #Security

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

Phantom OS – a project for x86 PC machines, based on a microkernel, and released under the GNU General Public License. https://archiveos.org/phantom-os/ #operatingsystem #microkernel

Phantom OS – a project for x86 PC machines, based on a microkernel, and released under the GNU General Public License. https://archiveos.org/phantom-os/ #operatingsystem #microkernel

In January, I've presented a lightning talk reviewing a few amazing events in the domain of microkernel-based operating systems in 2024. It was a great year and let's hope that 2025 will be even better. Did I miss anything important? #microkernel #operating #systems https://www.slideshare.net/slideshow/2024-in-microkernels-a-year-in-review-lightning-talk/275774446

In January, I've presented a lightning talk reviewing a few amazing events in the domain of microkernel-based operating systems in 2024. It was a great year and let's hope that 2025 will be even better. Did I miss anything important? #microkernel #operating #systems https://www.slideshare.net/slideshow/2024-in-microkernels-a-year-in-review-lightning-talk/275774446

Here are the slides from my status update talk about #HelenOS from the #Microkernel devroom at @fosdem 2025. It was an honor to participate in the devroom again and meet the members of other microkernel-based projects. It is an institution. Many thanks to Udo Steinberg and Alexander van der Grinten for the flawless organization! https://www.slideshare.net/slideshow/helenos-20-years-of-history-20-years-of-future-vision/275310178

Because I can't attend FOSDEM this year, I wrote down some thoughts about the microkernel community. https://x86.lol/generic/2025/01/30/microkernels.html #fosdem #microkernel

OJOS (Original J Operating System), called also Platypus - an independent, microkernel operating system created by Nathan Whitehead. https://archiveos.org/ojos/ #operatingsystem #microkernel