#osdev

Searching for pedagogical materials on memory models https://lobste.rs/s/odnnzh #ask #osdev

Searching for pedagogical materials on memory models https://lobste.rs/s/odnnzh #ask #osdev

Docker has always used microVMs (well, since 2016) https://lobste.rs/s/drozos #linux #osdev https://dave.recoil.org/docker-has-always-used-microvms/

Playing classical music on a classic PC with GentleOS https://lobste.rs/s/xf23r4 #video #c #osdev #retrocomputing

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/