#osdev

Virtualized Redox: from Virtio-FS to Cloud Hypervisor, and beyond via @hugoarnal@mastodon.social https://lobste.rs/s/zozcwa #osdev https://www.redox-os.org/news/virtualized-redox/

Kevin Boone: Firststeps in bare-metal programming using UEFI – series index https://lobste.rs/s/id3f9d #osdev https://kevinboone.me/efitest_index.html

How Windows Bootloader Starts the Kernel https://lobste.rs/s/ml83td #video #osdev #windows

Unikernels in OCaml via @xvw@merveilles.town https://lobste.rs/s/mfserj #ml #osdev https://uniker.nl/

What I Self-Host | Aspirational Self Hosting Guide https://lobste.rs/s/j4tlzg #devops #linux #osdev #web https://viceconsole.fyi/blog/2026/10/10/what-i-self-host/

A minimal kernel in Swift, running in QEMU https://lobste.rs/s/myb8wf #osdev #swift https://carette.xyz/posts/minimal_swift_kernel_on_qemu/

Problems and solutions to the modern desktop (Make tmux the OS) https://lobste.rs/s/gjlxiz #ios #osdev #windows https://matduggan.com/what-does-my-dream-os-ui-look-like/

This Month in Redox - August 2026 https://lobste.rs/s/kc8t26 #osdev #rust https://www.redox-os.org/news/this-month-260831/

Pick OS is a Living Fossil of Computer History https://lobste.rs/s/1skdhv #databases #historical #osdev https://csixty4.medium.com/pick-is-a-living-fossil-of-computer-history-36d74408d557

Deterministic Hypervisors For Cheap via @fanf@mendeddrum.org https://lobste.rs/s/hirktz #osdev https://redvice.org/2026/deterministic-hypervisor/

Roku launches open-source Roku LT OS for creative programmers via @rk@mastodon.well.com https://lobste.rs/s/r8xecf #osdev https://blog.roku.com/developer/roku-lt-os

Purely Functional Operating Systems https://lobste.rs/s/jlmeib #osdev #programming https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982

GEFS: The File Shredder of the Future https://lobste.rs/s/vxkb8z #video #openbsd #osdev https://exquisite.tube/w/3QQimMdswWJxrsPaJtak2u

How CHERIoT Provides Strong and Usable Isolation Without an MMU https://lobste.rs/s/gtvx0w #hardware #osdev #security https://queue.acm.org/doi/10.1145/3831361

SystemIO conflicts are not firmware bugs https://lobste.rs/s/jz8fmz #hardware #osdev https://codon.org.uk/~mjg59/blog/p/systemio-conflicts-are-not-firmware-bugs/

Solaris Turnstiles https://lobste.rs/s/wrt9wm #osdev https://rdmsr.github.io/writing/turnstiles/

GEM for Linux provides a classic graphical desktop with windows, menus, dialogs & a 68K emulator via @lproven@social.vivaldi.net https://lobste.rs/s/5yga7r #osdev #retrocomputing https://github.com/triglav-os/gem

IBM i (OS/400) The Database Operating System https://lobste.rs/s/ssljs6 #osdev https://osadmins.com/en/ibm-i-os-400-the-database-operating-system/

GNU Hurd news 2026-q2 via @tusharhero@mathstodon.xyz https://lobste.rs/s/l9jtnl #osdev https://www.gnu.org/software/hurd/news/2026-q2.html

Symbolics OpenGenera to go free for non-commercial use via @lproven@social.vivaldi.net https://lobste.rs/s/8cxvb2 #lisp #osdev https://hachyderm.io/@gmpalter/117044268951603975