#

microkernel

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.

Here are 3 public repositories matching this topic...

madworx / docker-minix

QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website

docker docker-image qemu microkernel qemu-kvm minix minix3

Updated May 29, 2019
Shell

ClementNerma / NightOS

A highly secure, performant and robust operating system for the future 🌔 🚀

rust operating-system microkernel

Updated Jan 3, 2025
Shell

bbzaffari / MMIO-tripleDes-VHDL-core

VHDL 3DES crypto engine mapped via MMIO into HF-RISC SoC, with UCX/OS driver supporting ECB/CBC/CTR modes & PKCS#7 padding. Fully validated.

vhdl des microkernel rtos 3des 3des-encryption

Updated Sep 21, 2025
Shell

Followers: 250 followers
Website: github.com/topics/kernel
Wikipedia: Wikipedia