Fosstodon

Michael Engel<a href="https://oldbytes.space/@blakespot" class="u-url mention" rel="nofollow noopener" target="_blank">@blakespot</a> 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 :).<a href="https://sueden.social/tags/NeXT" class="mention hashtag" rel="nofollow noopener" target="_blank">#NeXT</a> <a href="https://sueden.social/tags/osx" class="mention hashtag" rel="nofollow noopener" target="_blank">#osx</a> <a href="https://sueden.social/tags/mach" class="mention hashtag" rel="nofollow noopener" target="_blank">#mach</a> <a href="https://sueden.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>

Risotto Biasmicrokernel course, but with infinity stones:time stone: scheduler space stone: RAM allocator reality stone: disk operations power stone: ACLs mind stone: CPU ring levels soul stone: userland programs<a href="https://toot.risottobias.org/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> <a href="https://toot.risottobias.org/tags/marvel" class="mention hashtag" rel="nofollow noopener" target="_blank">#marvel</a> <a href="https://toot.risottobias.org/tags/loki" class="mention hashtag" rel="nofollow noopener" target="_blank">#loki</a> <a href="https://toot.risottobias.org/tags/cosci" class="mention hashtag" rel="nofollow noopener" target="_blank">#cosci</a> <a href="https://toot.risottobias.org/tags/university" class="mention hashtag" rel="nofollow noopener" target="_blank">#university</a>

Michael EngelSuccess 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...<a href="https://github.com/rubensseva/f9-riscv" rel="nofollow noopener" translate="no" target="_blank">https://github.com/rubensseva/f9-riscv</a> <a href="https://github.com/f9micro/f9-kernel" rel="nofollow noopener" translate="no" target="_blank">https://github.com/f9micro/f9-kernel</a><a href="https://sueden.social/tags/f9" class="mention hashtag" rel="nofollow noopener" target="_blank">#f9</a> <a href="https://sueden.social/tags/riscv" class="mention hashtag" rel="nofollow noopener" target="_blank">#riscv</a> <a href="https://sueden.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> <a href="https://sueden.social/tags/esp32c3" class="mention hashtag" rel="nofollow noopener" target="_blank">#esp32c3</a>

tsk⚠️ 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. <a href="https://infosec.exchange/tags/infosec" class="mention hashtag" rel="nofollow noopener" target="_blank">#infosec</a> <a href="https://infosec.exchange/tags/security" class="mention hashtag" rel="nofollow noopener" target="_blank">#security</a> <a href="https://infosec.exchange/tags/containers" class="mention hashtag" rel="nofollow noopener" target="_blank">#containers</a> <a href="https://infosec.exchange/tags/hypervisors" class="mention hashtag" rel="nofollow noopener" target="_blank">#hypervisors</a> <a href="https://infosec.exchange/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>

Hacker NewsThe SeL4 Microkernel: An Introduction [pdf]<a href="https://sel4.systems/About/seL4-whitepaper.pdf" rel="nofollow noopener" translate="no" target="_blank">https://sel4.systems/About/seL4-whitepaper.pdf</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/SeL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#SeL4</a> <a href="https://mastodon.social/tags/Microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microkernel</a> <a href="https://mastodon.social/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#Introduction</a> <a href="https://mastodon.social/tags/seL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#seL4</a> <a href="https://mastodon.social/tags/Whitepaper" class="mention hashtag" rel="nofollow noopener" target="_blank">#Whitepaper</a> <a href="https://mastodon.social/tags/Microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microkernel</a> <a href="https://mastodon.social/tags/Architecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#Architecture</a> <a href="https://mastodon.social/tags/System" class="mention hashtag" rel="nofollow noopener" target="_blank">#System</a> <a href="https://mastodon.social/tags/Security" class="mention hashtag" rel="nofollow noopener" target="_blank">#Security</a>

GenodeWe're warming up for day 2 on <a href="https://floss.social/tags/ew25" class="mention hashtag" rel="nofollow noopener" target="_blank">#ew25</a>. Looking forward to talk about <a href="https://floss.social/tags/Genode" class="mention hashtag" rel="nofollow noopener" target="_blank">#Genode</a>, <a href="https://floss.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> OSes, and open hardware from <a href="https://mastodon.social/@mntmn" class="u-url mention" rel="nofollow noopener" target="_blank">@mntmn</a>

harryprayiv<a href="https://social.linux.pizza/@nebucatnetzer" class="u-url mention" rel="nofollow noopener" target="_blank">@nebucatnetzer</a> actually, Nix is the best possible way of building Docker images, IMO. I prefer <a href="https://mastodon.social/tags/OCIImages" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCIImages</a> and <a href="https://mastodon.social/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#foss</a> 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 <a href="https://mastodon.social/tags/nondeterminism" class="mention hashtag" rel="nofollow noopener" target="_blank">#nondeterminism</a>.<a href="https://redirect.invidious.io/watch?v=0uixRE8xlbY" rel="nofollow noopener" translate="no" target="_blank">https://redirect.invidious.io/watch?v=0uixRE8xlbY</a>I hope someday there is a Nix equivalent for <a href="https://mastodon.social/tags/k8s" class="mention hashtag" rel="nofollow noopener" target="_blank">#k8s</a> <a href="https://mastodon.social/tags/talos" class="mention hashtag" rel="nofollow noopener" target="_blank">#talos</a> and other <a href="https://mastodon.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> architectures and it is definitely the relation between Nix and Docker that will bring that, IMO.

ArchiveOSPhantom OS – a project for x86 PC machines, based on a microkernel, and released under the GNU General Public License. <a href="https://archiveos.org/phantom-os/" rel="nofollow noopener" translate="no" target="_blank">https://archiveos.org/phantom-os/</a> <a href="https://mastodon.social/tags/operatingsystem" class="mention hashtag" rel="nofollow noopener" target="_blank">#operatingsystem</a> <a href="https://mastodon.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>

Martin Děcký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? <a href="https://discuss.systems/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> <a href="https://discuss.systems/tags/operating" class="mention hashtag" rel="nofollow noopener" target="_blank">#operating</a> <a href="https://discuss.systems/tags/systems" class="mention hashtag" rel="nofollow noopener" target="_blank">#systems</a> <a href="https://www.slideshare.net/slideshow/2024-in-microkernels-a-year-in-review-lightning-talk/275774446" rel="nofollow noopener" translate="no" target="_blank">https://www.slideshare.net/slideshow/2024-in-microkernels-a-year-in-review-lightning-talk/275774446</a>

Martin DěckýHere are the slides from my status update talk about <a href="https://discuss.systems/tags/HelenOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#HelenOS</a> from the <a href="https://discuss.systems/tags/Microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microkernel</a> devroom at <a href="https://fosstodon.org/@fosdem" class="u-url mention" rel="nofollow noopener" target="_blank">@fosdem</a> 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! <a href="https://www.slideshare.net/slideshow/helenos-20-years-of-history-20-years-of-future-vision/275310178" rel="nofollow noopener" translate="no" target="_blank">https://www.slideshare.net/slideshow/helenos-20-years-of-history-20-years-of-future-vision/275310178</a>

Julian StecklinaBecause I can't attend FOSDEM this year, I wrote down some thoughts about the microkernel community. <a href="https://x86.lol/generic/2025/01/30/microkernels.html" rel="nofollow noopener" translate="no" target="_blank">https://x86.lol/generic/2025/01/30/microkernels.html</a> <a href="https://infosec.exchange/tags/fosdem" class="mention hashtag" rel="nofollow noopener" target="_blank">#fosdem</a> <a href="https://infosec.exchange/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>

jhambyI 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 <a href="https://chaos.social/tags/MINIX" class="mention hashtag" rel="nofollow noopener" target="_blank">#MINIX</a> or <a href="https://chaos.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>-related things you're interested in knowing about?

ArchiveOSOJOS (Original J Operating System), called also Platypus - an independent, microkernel operating system created by Nathan Whitehead. <a href="https://archiveos.org/ojos/" rel="nofollow noopener" translate="no" target="_blank">https://archiveos.org/ojos/</a> <a href="https://mastodon.social/tags/operatingsystem" class="mention hashtag" rel="nofollow noopener" target="_blank">#operatingsystem</a> <a href="https://mastodon.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>

aemogiealso found this for <a href="https://tech.lgbt/tags/sel4" class="mention hashtag" rel="nofollow noopener" target="_blank">#sel4</a> <a href="https://tech.lgbt/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>. i havent watched beyond the first lecture yet though, as i keep discovering so many more new concepts. i barely knew "object capabilites" (aka <a href="https://tech.lgbt/tags/ocap" class="mention hashtag" rel="nofollow noopener" target="_blank">#ocap</a> i think) before this. i thought pausing this and going back to the other series would be worth it. <a href="https://www.youtube.com/playlist?list=PLtoQeavghzr3nlXyJEXaTLU9Ca0DXWMnt" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/playlist?list=PLtoQeavghzr3nlXyJEXaTLU9Ca0DXWMnt</a>

AbleTheAbove<a href="https://mastodon.social/@RadioAzureus" class="u-url mention" rel="nofollow noopener" target="_blank">@RadioAzureus</a> it’s situations like this where I feel vindicated in my hatred of non-microkernel systems.<a href="https://mastodon.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a>

AbleTheAboveHowdy 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 itIt’s opensource and hosted here <a href="https://git.ablecorp.us/ableos/ableos" rel="nofollow noopener" translate="no" target="_blank">https://git.ablecorp.us/ableos/ableos</a> Tag Spam <a href="https://mastodon.social/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#foss</a> <a href="https://mastodon.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#rust</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#rustlang</a> <a href="https://mastodon.social/tags/operatingsystem" class="mention hashtag" rel="nofollow noopener" target="_blank">#operatingsystem</a> <a href="https://mastodon.social/tags/operatingsystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#operatingsystems</a> <a href="https://mastodon.social/tags/OperatingSystemDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#OperatingSystemDevelopment</a>

aemogiealso correct me if im wrong, but can a <a href="https://tech.lgbt/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> 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 <a href="https://tech.lgbt/tags/actormodel" class="mention hashtag" rel="nofollow noopener" target="_blank">#actormodel</a> though

Martin DěckýAfter some time of neglect, I've finally done a major update of the list of open-source microkernel-based OSes at <a href="https://microkernel.info/" rel="nofollow noopener" translate="no" target="_blank">https://microkernel.info/</a>It shows that we have a very lively community. <a href="https://discuss.systems/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> <a href="https://discuss.systems/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#foss</a> <a href="https://discuss.systems/tags/oss" class="mention hashtag" rel="nofollow noopener" target="_blank">#oss</a> <a href="https://discuss.systems/tags/os" class="mention hashtag" rel="nofollow noopener" target="_blank">#os</a>

amackifThis is probably a ridiculous question: is <a href="https://mastodon.social/tags/io_uring" class="mention hashtag" rel="nofollow noopener" target="_blank">#io_uring</a> an event loop or does it resemble one? And is it possible to make all <a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#linux</a> <a href="https://mastodon.social/tags/kernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#kernel</a> subsystems use it? E.g. GPU driversIf so, would it be possible to write something like a <a href="https://mastodon.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> with good performance where internally subsystems submit things to <a href="https://mastodon.social/tags/io_uring" class="mention hashtag" rel="nofollow noopener" target="_blank">#io_uring</a>?

Rob SisonThere'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:<a href="https://youtu.be/7wcFx6OTEL4" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/7wcFx6OTEL4</a><a href="https://aus.social/tags/sel4summit" class="mention hashtag" rel="nofollow noopener" target="_blank">#sel4summit</a> <a href="https://aus.social/tags/seL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#seL4</a> <a href="https://aus.social/tags/verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#verification</a> <a href="https://aus.social/tags/operatingsystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#operatingsystems</a> <a href="https://aus.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#microkernel</a> <a href="https://aus.social/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://aus.social/tags/HOL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#HOL4</a> <a href="https://aus.social/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://aus.social/tags/modelchecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#modelchecking</a> <a href="https://aus.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#formalmethods</a> <a href="https://aus.social/tags/formalverification" class="mention hashtag" rel="nofollow noopener" target="_blank">#formalverification</a> <a href="https://aus.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener" target="_blank">#formal_methods</a> <a href="https://aus.social/tags/formal_verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#formal_verification</a>

Recent searches

Search options

Administered by:

Server stats:

#microkernel

Recent searches

Search options

Administered by:

Server stats:

MicroKernel

#microkernel