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
⚠️ 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
We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn
@nebucatnetzer actually, Nix is the best possible way of building Docker images, IMO.
I prefer #OCIImages and #foss alternatives to the Docker way.
It takes some doing but the Nix way is sinhlehadedly causing the Docker people to rethink their system and its #nondeterminism.
https://redirect.invidious.io/watch?v=0uixRE8xlbY
I hope someday there is a Nix equivalent for #k8s #talos and other #microkernel architectures and it is definitely the relation between Nix and Docker that will bring that, IMO.
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
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
I don't dare to make any sort of proclamations about whether a 32-byte message would be better for cache utilization, but I think we can agree that if you're going to need 34 bytes, you may as well go up to 64 bytes and add some new fields and increase the size of the one standard MINIX message type with chars from 14 bytes to a whopping 44 bytes.
Any #MINIX or #microkernel-related things you're interested in knowing about?
OJOS (Original J Operating System), called also Platypus - an independent, microkernel operating system created by Nathan Whitehead. https://archiveos.org/ojos/ #operatingsystem #microkernel
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
@RadioAzureus it’s situations like this where I feel vindicated in my hatred of non-microkernel systems.
Howdy folks!!
Idk how to get information out there
But uh I’ve been working on a microkernel and userland environment for a bit now and wanted to post about it
It’s opensource and hosted here https://git.ablecorp.us/ableos/ableos
Tag Spam
#foss #microkernel #rust #rustlang #operatingsystem #operatingsystems #OperatingSystemDevelopment
also correct me if im wrong, but can a #microkernel be considered to be using the actor model? because rpc can be seen as just passing messages around and each userspace driver as an actor. i only just learnt about the #actormodel though
After some time of neglect, I've finally done a major update of the list of open-source microkernel-based OSes at https://microkernel.info/
It shows that we have a very lively community. #microkernel #foss #oss #os
This is probably a ridiculous question: is #io_uring an event loop or does it resemble one?
And is it possible to make all #linux #kernel subsystems use it? E.g. GPU drivers
If so, would it be possible to write something like a #microkernel with good performance where internally subsystems submit things to #io_uring?
There's now a video up of the talk I gave at this year's seL4 Summit, on the status of UNSW's projects to verify Time Protection and Microkit-based userland OS services for the seL4 microkernel:
#sel4summit #seL4 #verification #operatingsystems #microkernel #IsabelleHOL #HOL4 #ITP #modelchecking #formalmethods #formalverification #formal_methods #formal_verification
A 14-year tradition goes on: There will be a Microkernel and Component-Based OS Devroom at FOSDEM 2025 (@fosdem), this time kindly organized by Udo Steinberg. Please see the CfP: https://fosdem.microkernel.info/ #microkernel #fosdem
Redox OS Now Runs On RISC-V #Redox #Linux #RISCV #Opensource #Microkernel
https://ostechnix.com/redox-os-now-runs-on-risc-v/
