Alternatives and similar repositories for ai-kernel

Users that are interested in ai-kernel are comparing it to the libraries listed below

• sysprog21 / kvm-host
  A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)
  ☆183Updated last year
• itri-sofa / sofa
  SOFA (Software Orchestrated Flash Array) is a log-structured flash array management system
  ☆41Updated 5 years ago
• GrassLab / osdi
  NCTU Operation System Design and Implementation
  ☆27Updated 5 years ago
• jserv / rbtree
  A red-black tree implementation
  ☆42Updated 3 months ago
• eecheng87 / mode-switch-stat
  Minimal tool for measuring cost of mode switch
  ☆15Updated 4 years ago
• champyen / rpiz_bare_metal
  a bare metal example with a simple printf implementation for RPi Zero
  ☆13Updated 5 years ago
• tina0405 / raspberry-pi3-mini-os
  ☆26Updated 5 years ago
• Cuju-ft / Cuju
  Cuju: An Open Source Project for Virtualization-Based Fault Tolerance *Provide active-passive fault tolerance service*
  ☆90Updated 3 years ago
• GrassLab / NYCU_Operating_System_Capstone
  NYCU Operating System Capstone
  ☆13Updated 4 years ago
• sysprog21 / Kconfiglib
  A flexible Python Kconfig implementation
  ☆14Updated last month
• jserv / talks
  schedule and materials about my presentations
  ☆365Updated 3 weeks ago
• sysprog21 / concurrency-primer
  Concurrency Primer
  ☆101Updated 7 months ago
• DavidSpickett / BadgerKernel
  Multitasking kernel for Arm/Thumb/AArch64 targets.
  ☆48Updated 4 years ago
• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling
  ☆289Updated last month
• jserv / auto-tetris
  Play Tetris game automatically!
  ☆60Updated 5 months ago
• skymizer / SkyPat
  A C++ performance analyzing and testing framework on Android and Linux platforms.
  ☆48Updated last year
• sysprog21 / vwifi
  A virtual wireless device driver for Linux
  ☆244Updated last week
• jserv / open-c-book
  开源书籍：《C语言编程透视》
  ☆22Updated 10 years ago
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆299Updated last week
• jserv / linsched
  Restoration of The Linux Scheduler Simulator (LinSched)
  ☆18Updated 4 years ago
• fengguang / lkp-tests
  Linux Kernel Performance tests
  ☆95Updated 3 years ago
• RinHizakura / riscv-emulator
  A project for learning RISC-V architecture purpose
  ☆26Updated 2 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 3 years ago
• eecheng87 / ESCA
  Effective System Call Aggregation
  ☆39Updated 3 years ago
• osinstom / containers-impl-c
  ☆43Updated 5 years ago
• shiwulo / ron-osdi2023
  ☆31Updated 2 years ago
• sysprog21 / concurrent-ll
  concurrent linked list implementation
  ☆74Updated last year
• sysprog21 / linmo
  A simple multitasking OS kernel
  ☆105Updated last week
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆115Updated 5 years ago
• sysprog21 / cserv
  An event-driven and non-blocking web server
  ☆81Updated 2 years ago