basekernel
OS kernel
A research-grade kernel providing basic OS functionality for experimentation and education
A simple OS kernel for research, teaching, and fun.
801 stars
23 watching
109 forks
Language: C
last commit: 7 months ago
Linked from 2 awesome lists
nhivp/awesome-embedded
jubalh/awesome-osRelated projects:
| Repository | Description | Stars |
|---|---|---|
 d99kris/nopeos | A simple OS kernel with a built-in BASIC interpreter | 44 |
 polard8/kernel | An operating system kernel with basic features and an initial set of components | 646 |
 gregkh/kernel-development | A presentation on the development process of a widely-used operating system kernel | 622 |
 narasimha1997/r3 | An hobby x86_64 Operating System kernel written in Rust with minimal functionalities | 80 |
 bone-project/boneos | An operating system kernel and source tree for development of an embedded system | 130 |
 embedded2015/mini-arm-os | A minimal multi-tasking OS kernel built from scratch for ARM Cortex-M series microcontrollers | 180 |
 lkl/linux | Enables efficient reuse of Linux kernel code in applications | 819 |
 docandrew/cubit | A formally-verified, 64-bit operating system for x86-64 architecture written in Ada. | 78 |
 apple-oss-distributions/xnu | The xnu kernel project provides the core operating system software for Apple's macOS and iOS systems. | 1,822 |
 corruptedbycpu/cyjon | A simple, clean, multi-tasking operating system kernel written in pure assembly language for 64-bit processors | 435 |
 zen-kernel/zen-kernel | A Linux kernel distribution with documentation and guides for developers and users | 2,026 |
 dreamos82/dreamos64 | An experimental 64-bit kernel project that demonstrates low-level programming concepts and basic operating system functionality. | 166 |
 garnek0/garnos | A hobby operating system designed to be modular and compatible with various hardware configurations. | 10 |
 jserv/mini-arm-os | Builds a minimal multi-tasking OS kernel for ARM from scratch | 1,064 |
 citahub/cita | A high-performance blockchain kernel designed to support enterprise users with scalability, customizability, and reliability features. | 1,306 |