#microkernel — Public Fediverse posts

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.

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

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

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

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

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

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

also found this for #sel4 #microkernel. i havent watched beyond the first lecture yet though, as i keep discovering so many more new concepts. i barely knew "object capabilites" (aka #ocap i think) before this. i thought pausing this and going back to the other series would be worth it.
https://www.youtube.com/playlist?list=PLtoQeavghzr3nlXyJEXaTLU9Ca0DXWMnt

MINIX: History, Architecture, and Comparisons with GNU/Linux

MINIX is a Unix-like operating system that holds a unique place in the history of operating systems, especially for its role in shaping the development of modern open-source operating systems like Linux. Created by computer science professor Andrew S. Tanenbaum in the mid-1980s.

Read More: https://machaddr.substack.com/p/minix-history-architecture-and-comparisons

#MINIX #Linux #OS #operating #Systems #OpenSource #Technology #Computer #Science #MicroKernel #Monolithic

Reading the ambitious roadmap of #GrapheneOS, I get the impression that this might become the most secure and #privacy-respecting platform that also overlaps with many classic desktop use-cases and desktop OS. 🤔

https://grapheneos.org/faq#roadmap

#Android #Linux #kernel #microkernel #virtualization #isolation #hypervisor #sandboxing #gVisor #KVM #TEE #security

Next time somebody tells you that that microkernels are useless, impractical and/or have poor performance, let them read this:

"We have deployed HM on tens of millions of devices, including smart routers, smart vehicles, and smartphones, which provides not only better security and reliability but also better performance than their Linux counterparts." [1]

[1] Haibo Chen et al.: Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel, in the Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation,
https://www.usenix.org/system/files/osdi24-chen-haibo.pdf
#microkernel #osdi #osdi24

OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.

Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix

#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86

OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.

Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix

#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86

OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.

Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix

#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86

OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.

Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix

#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86

OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.

Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix

#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86

Oh wow, I wasn't aware that #seL4 Foundation has uploaded the lectures of #UNSW's famous Advanced Operating Systems course to youtube.

https://www.youtube.com/watch?v=IvqM2pmApSY&list=PLtoQeavghzr3nlXyJEXaTLU9Ca0DXWMnt
#os #microkernel #operatingsystems

At last a full-fledged microkernel paper at a major OS conference again: "Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel" at OSDI'24. Co-authored by many of my former colleagues from Huawei OS Kernel Lab (Haibo Chen, Hui Wang et al.). Congratulations and really looking forward to reading the full text! #microkernel #osdi #os #hongmeng https://www.usenix.org/conference/osdi24/presentation/chen-haibo

In the first of our #EverythingOpen schedule highlights, we're delighted to present #UNSW Scientia Professor @gernot who will present on efforts to take #sel4 from a #MicroKernel to fully-fledged #OS
with #LionsOS, named for open source luminary, John Lions.

Schedule will be posted soon, we promise!

Heavily discounted #EarlyBird #EB tickets still available, for a short time only:
https://2024.everythingopen.au/news/registrations-open/

systems beyond #posix: #sel4

https://www.youtube.com/watch?v=ekV7wWQf7_g
#microkernel #os

#Pancake: a new, verified Pascal-like #pl emphasizing formal verification over type safety for low-level systems programming, device drivers in particular.

"Pancake eschews complex type systems to make the language attractive to systems programmers, while at the same time aiming to ease the formal verification of code. We describe the design of the language and its verified compiler, and examine its usability, performance and current limitations through case studies of device drivers and related systems components for an #seL4-based #os."

https://trustworthy.systems/publications/papers/Pohjola_STWSNUMSMNH_23.pdf
#formalmethods #microkernel

Object capability based security and micro kernels are the old future returned.

It was never completely gone, of course. I’ve been tracking projects like the Genode OS framework for years, but all of a sudden I’m seeing hardware, university projects, big tech projects, and really exciting software platforms left right and centre.

Permission to dream of a better world of computing once more?
#capabilites #microkernel #future #past #tech