#osdev
63 posts · Last used 4d
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
Playing classical music on a classic PC with GentleOS
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
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/