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 with efficient event-driven scheduling
  ☆279Updated 2 weeks ago
• sysprog21 / kvm-host
  A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)
  ☆178Updated 10 months ago
• sysprog21 / cserv
  An event-driven and non-blocking web server
  ☆81Updated 2 years ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆61Updated 9 years ago
• sysprog21 / rv32emu-legacy
  RISC-V RV32I[MA] emulator with ELF support
  ☆48Updated 5 years ago
• tina0405 / raspberry-pi3-mini-os
  ☆26Updated 5 years ago
• sysprog21 / neocon
  A simple serial console utility
  ☆17Updated 2 years ago
• jserv / cregex
  A small implementation of regular expression matching engine in C
  ☆95Updated 4 years ago
• jserv / min-dl
  minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64
  ☆191Updated 7 years ago
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆202Updated 8 years ago
• sysprog21 / vwifi
  A virtual wireless device driver for Linux
  ☆239Updated 2 months ago
• sysprog21 / rv32emu
  Compact and Efficient RISC-V RV32I[MAFC] emulator
  ☆512Updated last week
• sysprog21 / linux-list
  Linux-like doubly-linked list
  ☆52Updated last year
• sysprog21 / mado
  A window system for resource-constrained devices
  ☆111Updated 2 weeks ago
• jserv / linsched
  Restoration of The Linux Scheduler Simulator (LinSched)
  ☆18Updated 4 years ago
• lovelessless99 / Just-In-Time-Compiler
  ☆21Updated 10 months ago
• RinHizakura / riscv-emulator
  A project for learning RISC-V architecture purpose
  ☆25Updated 2 years ago
• sysprog21 / sehttpd
  A small and efficient web server with 1K lines of C code
  ☆89Updated 4 months ago
• sysprog21 / linmo
  A simple multitasking OS kernel
  ☆82Updated 3 weeks ago
• jserv / rv32jit
  JIT-accelerated RISC-V instruction set simulator
  ☆37Updated last year
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 3 years ago
• GrassLab / osdi
  NCTU Operation System Design and Implementation
  ☆27Updated 5 years ago
• ccc-c / c6
  C6 -- 600 行的 C 語言編譯器
  ☆22Updated 3 years ago
• tenok-rtos / tenok
  A Linux-like real-time operating system for Robotics and the Internet of Things (IoT)
  ☆129Updated last year
• jserv / mazu-editor
  a minimalist text editor with syntax highlight, copy/paste, and search
  ☆147Updated 2 weeks ago
• jserv / nstack
  Userspace TCP/IP stack for Linux
  ☆340Updated 2 years ago
• cccriscv / riscv_to_os_book
  在 RISC-V 處理器上設計作業系統 -- 程式碼+電子書
  ☆34Updated 4 years ago
• jserv / rbtree
  A red-black tree implementation
  ☆39Updated last month
• sysprog21 / khttpd
  An experimental HTTP server implemented as Linux kernel module
  ☆79Updated 4 months ago
• sysprog21 / fibdrv
  Linux kernel module that calculates Fibonacci numbers
  ☆40Updated last year