24 results for “topic:micro-kernel”
TPP experimentation on MLIR for linear algebra
C++ application framework（基于actor模型，微内核设计理念实现的C++组件化编程应用程序框架）
The LLM guardian kernel
The Sentry kernel is a high security level micro-kernel implementation made for high security embedded systems
It makes me sad because I wasn't able to finish it
A (basic) x86-64 kernel.
How to create a Hello World seL4 project from scratch
Cellium: A lightweight, micro-kernel-based modular framework for Python desktop applications. Decoupled frontend & backend via ICell protocol. （Cellium：一个轻量级、基于微内核的 Python 桌面应用模块化框架。通过 ICell 协议实现前后端彻底解耦。）
OSGI FrameWork for Bakery Shop
Symfony Micro Framework based on MicroKernelTrait
A little micro-kernel written in C++
x86_64 micro kernel, used in CelestialOS
Operating system scratch implements in C lang
Aiko lightweight powerful operating system
Tiny OS for Cortex-M based chipset with multithread and fault handling features.
High-performance multi-tenant micro-kernel for ASP.NET Core. Run isolated child apps with private DI and configuration in a single process without ALC.
A high-performance, event-driven micro-kernel CMS for PHP 8.2+. Zero-bloat architecture featuring a Notion-style block editor, automated WebP pipeline, and built-in developer wiki.
Assignment 1 of Software Architecture module of Y3S1. A simplified social media app made using the micro kernal architecture with eclipse OSGI.
OpenSovix是一个微内核系统，仍在开发中，由GPL-3.0或更高版本授权，旨在取代微软的Windows
A micro-kernel in Rust (Aarch64, UEFI)
Medicine and Patient Management System using OSGI framework.
Outpost OS sentry kernel sources
Skeleton PHP micro‑kernel based on Slim 4 with Docker, DI, and migrations.
Medicine and Patient Management System using OSGI framework