1. Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada  ironclad.nongnu.org
    2024-10-04 13:06:59   #formalmethods #osdev #new
  2. Serena: An experimental operating system for 32bit Amiga computers  github.com
    2024-08-20 10:01:25   #osdev #code #new
  3. maciNTosh: PowerPC Windows NT ported to Power Macintosh systems  github.com
    2024-07-12 14:25:15   #windows #osdev #code #new
  4. k23: Experimental WASM Microkernel Operating System  github.com
    2024-06-27 18:44:51   #osdev #wasm #code #new
  5. vroom: a userspace NVMe driver written in Rust  github.com
    2024-05-29 10:58:29   #rust #osdev #code #new
  6. GNO is the UNIX-like environment for the Apple IIgs  github.com
    2024-01-08 02:52:39   #historical #osdev #code #new
  7. ELKS v0.7.0 – Linux for the Intel 8086  github.com
    2023-09-08 15:17:13   #linux #osdev #code #new #release
  8. XCOM, a "crossplatform graphics user interface"  xcom.infora.hu
    2023-09-06 17:06:59   #graphics #osdev #new
  9. Multiplix: An operating system kernel for RISC-V and AArch64 SBCs  github.com
    2023-09-01 01:41:00   #osdev #code #new
  10. Fomos: Experimental OS, built with rust  github.com
    2023-08-30 06:05:53   #rust #osdev #code #new
  11. Implementing RAID expansion in ZFS  github.com
    2023-08-29 20:59:52   #linux #osdev #code #new
  12. The Ares Operating System  ares-os.org
    2023-08-20 16:11:26   #osdev #new
  13. $HOME, Not So Sweet $HOME  gist.github.com
    2023-08-17 06:42:29   #osdev #gist
  14. Plunder and Urbit  gist.github.com
    2023-08-09 07:32:46   #programming #osdev #gist
  15. octox: Operating system in Rust in the style of xv6-riscv  github.com
    2024-05-07 02:26:00   #rust #osdev #code #new
  16. smolOS: small OS for MicroPython on ESP8266, RP2040  github.com
    2023-07-12 14:11:39   #python #hardware #osdev #code #new
  17. RTIC: Real-Time Interrupt-driven Concurrency  rtic.rs
    2023-06-01 22:34:06   #osdev #new
  18. R9: Plan 9 in Rust  github.com
    2025-06-11 00:21:27   #rust #osdev #code #new
  19. axle OS  axleos.com
    2023-05-20 23:10:35   #osdev #new
  20. egos-2000: A minimal (2K LOC) operating system  github.com
    2023-05-22 01:26:42   #osdev #code #new
  21. A bare-metal actor operating system for Raspberry Pi  github.com
    2023-05-14 11:02:19   #osdev #code #new
  22. EdenFS Overview  github.com
    2023-04-06 19:36:08   #osdev #code #new
  23. bread: BIOS Reverse Engineering & Advanced Debugging  github.com
    2023-03-27 06:26:02   #assembly #reversing #debugging #osdev #code #new
  24. The next International Workshop on Plan 9 will be held in Paris in may 2025  iwp9.org
    2024-08-28 16:20:56   #unix #culture #historical #osdev #new
  25. testc: A new sample driver for A/UX  github.com
    2023-03-01 02:53:31   #c #osdev #code #new

< 2 / 3 >