14 stories tagged kernel, newest first.
498 points by aghuang | 181 comments
GitHub repository for HackiOS, which boots Apple's open-source XNU kernel on a POCO X5 Pro Android phone or QEMU to run the unmodified iOS 16.5 user space.
189 points by matt_d | 68 comments
Leonardo de Moura blog post announcing Lean v4.35.0 ships with lake check, leanchecker, and four additional independent verified kernels for rechecking proofs.
91 points by surprisetalk | 17 comments
Blog post by Antonin walking through building a minimal kernel written in Swift and running it in QEMU, updated to use the @c attribute.
189 points by romac | 74 comments
Project homepage for FTL, a new userspace-library operating system for clouds with hypervisor-like container isolation and Linux binary compatibility.
90 points by Cider9986 | 31 comments
GrapheneOS forum announcement that its release fixes a Pixel kernel driver regression in Android 17 QPR1 causing stuttering, lag and freezes under memory pressure.
361 points by speckx | 55 comments
MIT News article about Fractal, a research kernel built by MIT CSAIL to observe processor internals, which revealed previously unknown behavior in Apple's M1 chip.
388 points by hexagonal-sun | 125 comments
GitHub repository for Moss, an MIT-licensed Linux-compatible operating system kernel written in Rust.
358 points by vitalnodo | 121 comments
Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.
520 points by joexbayer | 102 comments
GitHub repository for RetrOS-32, a 32-bit x86 hobby operating system with graphics, multitasking, networking and a C compiler for i386.
432 points by tansanrao | 144 comments
A long blog post examining the history and architecture of Apple's Darwin OS and hybrid XNU kernel, from Mach and BSD roots to macOS, iOS, and Apple Silicon.
383 points by udev4096 | 40 comments
GitHub repository for phil-opp's blog_os, the source code and posts of the "Writing an OS in Rust" tutorial blog series.
680 points by Uriopass | 294 comments
Blog post introducing Maestro, a Unix-like, Linux-compatible kernel and operating system written from scratch in Rust.
347 points by sbt567 | 115 comments
GitHub repository for Fomos, an experimental operating system written in Rust with apps like a console, cursor, and C app support.
331 points by gslin | 314 comments
Tweet by Colin Percival noting that FreeBSD booting in Firecracker spends 7% of its time bubblesorting SYSINITs, prompting a switch to a faster sort.