Nova OS Web site: www.nongnu.org/nova/ Origin: unknown Category: Real Time Microkernel Desktop environment: CLI Architecture: unknown Based on: independent Wikipedia: Media: Install The last version |…

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. archiveos.org/nova-os/ #operatingsystem #microkernel

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance 1 Introduction

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

#lionos #microkernel #osdev #opensource

QNX's microkernel architecture excelled with strong process isolation, ensuring system stability. However, some noted that message passing overhead could be a challenge for certain high-throughput applications. #Microkernel 3/6

SkiftOS's microkernel architecture is a key discussion point. Commenters probed the rationale behind this design choice & the unique challenges it presents vs. monolithic kernels. It's a deep dive into OS fundamentals. #Microkernel 3/6

11/14 Key Perspective: Some argue Linux's size makes it bug-prone; a microkernel like seL4 might be more secure. 🧊 #Microkernel #KernelDesign #SecurityFirst

Sculpt OS 25.04 Released: Next-Gen Open-Source OS with Intel Meteor Lake & Advanced Graphics Support Blog com notícias sobre, Linux, Android, Segurança , etc

Just dropped: Sculpt OS 25.04 on Genode!

🔹 Full Intel Meteor Lake compatibility
🔹 SIMD-based GPU optimizations
🔹 Falkon browser updates

Who’s testing it out? Thoughts on performance vs. other lightweight OS options? 👉 tinyurl.com/yc742a67 #GenodeOS #Microkernel #BareMetal #RealTimeOS

Phantom OS Web site: ond.dnsq.org:2980/phantom/ (not active) Origin: unknown Category: Microkernel Desktop environment: CLI Architecture: x86 Based on: Independent Wikipedia: Media: Install The last version |…

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

FOSDEM Edition: Thoughts on the Microkernels It’s FOSDEM time! I have fond memories of the Microkernel and Component-based OS devroom in particular. It’s a fun meetup of extremely skilled low-level software engineers. This year I cannot attend, ...

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

OJOS Web site: ojos.sourceforge.net (not active) Origin: unknown Category: microkernel Desktop environment: CLI Architecture: unknown Based on: Independent Wikipedia: Media: Install The last version |…

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

#HarmonyOSNEXT Sense of security and privacy are under your control
The HarmonyOS Privacy and Security Declaration has landed in major cities across the country! Reshape the security order and set a new benchmark for privacy protection.
From HQ 2 Dresden R&D
#OpenHarmony #Heart #Brains #Microkernel

Redox OS: A Rust-Based Open-Source Alternative to Linux And BSD Let's take a sneak peek at this interesting operating system — Redox OS.

🦀 Redox OS: A Rust-Based Open-Source Alternative to Linux And BSD
— It's FOSS

#redox #rust #microkernel

"As for deployment models, #microkernel #architectures are usually monolithic."

[ANN] Muen version 1.1 released

We just announced a new Muen SK release v1.1.0! After more than two years since the last release, it was high time to get this out the door. You can read the announcement with more details regarding the changes here:

groups.google.com/g/muen-dev/c...

#muen #oss #separationkernel #microkernel