Alternatives and similar repositories for k:

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

• DaemonOnUnix / Raccoon-exok
  Implementation of an easily customizable exokernel
  ☆22Updated 2 years ago
• DaemonOnUnix / pEpitOS-x86_64
  Microkernel for x86_64 architecture
  ☆48Updated 2 years ago
• ttmo-O / x86-manpages
  x86 and amd64 instruction reference manual pages
  ☆249Updated 4 years ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆173Updated this week
• DaemonOnUnix / Chython
  I have a nightmare. A nightmare where all people will be coding python kernels and there will be python in linux. What have I done ?
  ☆24Updated last month
• itamar8910 / DarkForest
  x86 operating system
  ☆34Updated 2 years ago
• bashardudin / LinearPrograms
  Simplex algorithm course @Epita
  ☆14Updated 5 years ago
• sinedoke / eudyptula
  The Eudyptula Challenge
  ☆105Updated 7 years ago
• AudranDoublet / KeraSH
  Neural network framework in shell
  ☆19Updated 5 years ago
• ChariotOS / chariot
  The Chariot Operating System
  ☆47Updated 2 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆89Updated 4 years ago
• haltode / yaos
  Yet Another Operating System - a simple and small x86 operating system
  ☆11Updated 6 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆52Updated last month
• intel / mOS
  ☆135Updated 8 months ago
• davxy / beeos
  A simple "Unix-like" kernel trying to be POSIX compliant
  ☆132Updated 5 months ago
• rostedt / libccli
  This is a simple CLI interface helper library for C.
  ☆45Updated last year
• torokernel / qprofiler
  This repo contains the code of qprofiler which is a tool to profile a guest running on qemu without the need of instrumentation
  ☆30Updated 2 years ago
• Richard-W / uefi-run
  Run UEFI applications
  ☆82Updated last year
• dhavalhirdhav / LearnOS
  This is one of my long awaited project on learning to develop an Operating System.
  ☆59Updated 3 years ago
• ahoeller / fies
  QEMU-based fault injection
  ☆27Updated 3 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆334Updated last year
• pepsipu / OSpaint
  God, is it just me, or is Photoshop just too bloated? Introducing OSpaint, an operating system with the same capabilities as MSpaint but …
  ☆27Updated 4 years ago
• Menotdan / OSdev-tutorial
  My own OS Development tutorial.
  ☆41Updated 4 years ago
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆39Updated 6 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆81Updated last week
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆296Updated 3 years ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 2 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆86Updated this week
• mkilgore / protura
  ☆88Updated 2 years ago
• chip-red-pill / IntelTXE-PoC
  Intel Management Engine JTAG Proof of Concept
  ☆141Updated 4 years ago