nanvix / kernel

Related projects ⓘ

Alternatives and complementary repositories for kernel

• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆52Updated 10 months ago
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆32Updated 3 weeks ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆43Updated last year
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆91Updated last month
• rafalmiel / cykusz-rs
  Toy operating system written in Rust
  ☆22Updated last week
• jasondyoungberg / limine-rs
  Rust crate for parsing the limine boot protocol structures.
  ☆49Updated last month
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆77Updated 3 weeks ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆84Updated this week
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 3 weeks ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆74Updated last week
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆87Updated this week
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆41Updated last month
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)
  ☆66Updated 2 years ago
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆128Updated 3 months ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 6 years ago
• Narasimha1997 / r3
  A tiny x86_64 kernel written in Rust.
  ☆80Updated 2 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆177Updated 8 months ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆56Updated last week
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆35Updated 2 months ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆65Updated 7 years ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆40Updated last month
• AptRock327 / RaidouOS
  64-bit multitasking graphical operating system
  ☆47Updated 7 months ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆74Updated 4 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆65Updated 3 years ago
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆74Updated this week
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆84Updated 2 weeks ago
• charlotte-os / charlotte-core
  The Kernel of CharlotteOS
  ☆116Updated 2 weeks ago
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆30Updated 4 months ago
• mintsuki / jinx
  Meta-build-system for bootstrapping operating system distributions.
  ☆56Updated this week