A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
AtomX Kernel POCO X5 PRO 5G (redwood) kernel Sources
RISC-V core virtual runtime written in C/C++ (Arduino platform) intended for ESP32-WROVER with PSRAM.
micro T-Kernel 3.0 for RX
Micro kernel for embedded AVR micro controller systems.
The Serenity Operating System 🐞
Installing a 100% libre(free) linux kernel for wsl,It is possible to celebrate freedom within a cell. 给WSL替换自由内核!!!
Application Kernel for Containers
High Performance ServiceMesh Data Plane Based on Programmable Kernel
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
AliNix is a sophisticated operating system kernel designed to embody the spirit of innovation and reliability in the tech industry. With a focus on efficiency and performance, this kernel represents a fusion of cutting-edge technology and meticulous design principles.
A toy Unix-like operating system for x86 computers