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.

TPP experimentation on MLIR for linear algebra

• UpdatedMar 14, 2025
• MLIR

C++ application framework（基于actor模型，微内核设计理念实现的C++组件化编程应用程序框架）

• UpdatedMar 20, 2025
• C++

It makes me sad because I wasn't able to finish it

• UpdatedMay 18, 2015
• C

How to create a Hello World seL4 project from scratch

• UpdatedOct 17, 2020
• CMake

The LLM guardian kernel

• UpdatedFeb 11, 2025
• Go

OSGI FrameWork for Bakery Shop

• UpdatedApr 19, 2022
• Java

Symfony Micro Framework based on MicroKernelTrait

• UpdatedAug 14, 2017
• PHP

x86_64 micro kernel, used in CelestialOS

• UpdatedFeb 18, 2023
• C

Operating system scratch implements in C lang

• UpdatedJan 9, 2023
• C

Tiny OS for Cortex-M based chipset with multithread and fault handling features.

• UpdatedJan 24, 2021
• C++

Aiko lightweight powerful operating system

• UpdatedAug 2, 2023
• C

A little micro-kernel written in C++

• UpdatedMar 1, 2020
• C++

Assignment 1 of Software Architecture module of Y3S1. A simplified social media app made using the micro kernal architecture with eclipse OSGI.

• UpdatedMar 19, 2023
• Java

Outpost OS sentry kernel sources

• UpdatedJan 27, 2025
• C

Medicine and Patient Management System using OSGI framework.

• UpdatedApr 14, 2021
• Java

Medicine and Patient Management System using OSGI framework

• UpdatedApr 5, 2019
• Java