Alternatives and similar repositories for BadgerKernel:

Users that are interested in BadgerKernel are comparing it to the libraries listed below

• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel
  ☆261Updated this week
• sysprog21 / kvm-host
  A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)
  ☆165Updated 3 months ago
• sysprog21 / neocon
  A simple serial console utility
  ☆16Updated last year
• sysprog21 / mado
  A window system for resource-constrained devices
  ☆60Updated 2 weeks ago
• jserv / linsched
  Restoration of The Linux Scheduler Simulator (LinSched)
  ☆17Updated 3 years ago
• RinHizakura / riscv-emulator
  A project for learning RISC-V architecture purpose
  ☆24Updated last year
• sysprog21 / rv32emu-legacy
  RISC-V RV32I[MA] emulator with ELF support
  ☆48Updated 4 years ago
• tina0405 / raspberry-pi3-mini-os
  ☆25Updated 4 years ago
• sysprog21 / cserv
  An event-driven and non-blocking web server
  ☆82Updated last year
• jserv / rv32jit
  JIT-accelerated RISC-V instruction set simulator
  ☆33Updated last year
• lovelessless99 / Just-In-Time-Compiler
  ☆20Updated 3 months ago
• GrassLab / osdi
  NCTU Operation System Design and Implementation
  ☆27Updated 4 years ago
• jserv / cregex
  A small implementation of regular expression matching engine in C
  ☆87Updated 4 years ago
• sysprog21 / linux-cfs-sim
  Simulate Linux Completely Fair Scheduler (CFS) using POSIX Threads
  ☆19Updated 3 years ago
• eecheng87 / ESCA
  Effective System Call Aggregation
  ☆38Updated 2 years ago
• sysprog21 / vsnd
  Virtual Linux soundcard driver
  ☆27Updated 11 months ago
• sysprog21 / gameboy-emu
  An efficient and portable Game Boy emulator
  ☆36Updated 9 months ago
• sysprog21 / sehttpd
  A small and efficient web server with 1K lines of C code
  ☆87Updated 2 years ago
• tenok-rtos / tenok
  A Linux-like real-time operating system for Robotics and the Internet of Things (IoT)
  ☆114Updated 10 months ago
• cccriscv / riscv_to_os_book
  在 RISC-V 處理器上設計作業系統 -- 程式碼+電子書
  ☆33Updated 3 years ago
• sysprog21 / linux-list
  Linux-like doubly-linked list
  ☆52Updated 11 months ago
• sysprog21 / khttpd
  An experimental HTTP server implemented as Linux kernel module
  ☆71Updated 2 years ago
• felipec / linked-list-good-taste
  Linus Torvalds' linked list argument for good taste, explained
  ☆15Updated 11 months ago
• sysprog21 / vwifi
  A virtual wireless device driver for Linux
  ☆220Updated 8 months ago
• sysprog21 / vcam
  Virtual camera device driver for Linux
  ☆107Updated 8 months ago
• sysprog21 / simrupt
  A Linux device driver that simulates interrupts
  ☆11Updated this week
• sysprog21 / concurrency-primer
  Concurrency Primer
  ☆91Updated 8 months ago
• jserv / ttt
  An implementation of tic-tac-toe in C, featuring AI agents
  ☆36Updated 3 weeks ago
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆115Updated 4 years ago
• sysprog21 / pitifulvm
  A shabby implementation of Java virtual machine in C
  ☆142Updated 2 years ago