micro-kernel
There are 14 repositories under micro-kernel topic.
plaidml/tpp-mlir
TPP experimentation on MLIR for linear algebra
lkpworkspace/myframe
C++ application framework(基于actor模型,微内核设计理念实现的C++组件化编程应用程序框架)
yshui/SadOS
It makes me sad because I wasn't able to finish it
amila1998/OSGI_FrameWork-Bakery-Shop
OSGI FrameWork for Bakery Shop
manu88/SeL4_101
How to create a Hello World seL4 project from scratch
celestial-systems/orion
x86_64 micro kernel, used in CelestialOS
CixoDevelop/aiko
Aiko lightweight powerful operating system
fnayou/symfony-micro-framework
Symfony Micro Framework based on MicroKernelTrait
GuillaumeGas/LtMicros
A little micro-kernel written in C++
prikarna/NanoOS
Tiny OS for Cortex-M based chipset with multithread and fault handling features.
ubugeeei/vaughan
Operating system scratch implements in C lang
Red-Stream-Y3/SA-Assignment-OSGI
Assignment 1 of Software Architecture module of Y3S1. A simplified social media app made using the micro kernal architecture with eclipse OSGI.
Ranmal-Dewage/Medicine-and-Patient-Management
Medicine and Patient Management System using OSGI framework.
tenusha/medicine-and-patient-managemen
Medicine and Patient Management System using OSGI framework