Lmst

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

I have never heard of this POSIX OS. It's based on a microkernel.

"INTEGRITY-178B is the DO-178B–compliant version of INTEGRITY. It is used in several military jets such as the B-2,[2] F-16, F-22, and F-35, and the commercial aircraft Airbus A380." (wikipedia)

#OS #microkernel

https://www.ghs.com/products/rtos/integrity.html

The INTEGRITY architecture supports multiple protected virtual address spaces, each of which can contain multiple application tasks.

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

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 ?

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

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

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

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.

An XML document defining an seL4 system's memory regions and protection domains. Specifically, it defines a MMIO region for a real-time clock, and an RTC driver server that is given a capability to access the memory region.

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

Today I tried #RedoxOS. It‘s a wonderful small „unix/linux“ based on a microkernel. The whole OS was written in rust. It is very early in development and does not run on every machine.

I managed to install it on an old x86 sub notebook with a atom cpu. The whole image (including Doom) is less than 1GB. It boots at lightspeed. And it is a very nice glimpse of what‘s coming next.

I like it. #linux #microkernel #rust

🐢🎩 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

@blakespot Written by Avie Tevanian, who was a central figure in developing the Mach microkernel and the Mach-based OSes at NeXT and Apple (until 2006)... but I think you knew this already :).

#NeXT #osx #mach #microkernel

Success on real hardware!

This is the f9 microkernel ported to RISC-V, specifically ESP32C3, by Ruben Sevaldson, a former student of mine at NTNU in 2022 – plus a small Lisp machine running on top.

Now let's see why this doesn't work in qemu for esp32c3...

https://github.com/rubensseva/f9-riscv
https://github.com/f9micro/f9-kernel

#f9 #riscv #microkernel #esp32c3

UART log of a booting RISC-V f9 kernel on an ESP32C3 with the Hoppus Lisp interpreter running on top, defining some Lisp macros.

⚠️ 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