#

micro-kernel

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 16 public repositories matching this topic...

plaidml / tpp-mlir

TPP experimentation on MLIR for linear algebra

machine-learning library compiler llvm micro-kernel

Updated Nov 21, 2024
MLIR

lkpworkspace / myframe

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

application framework sdk cpp worker timer message-bus message-queue actor class-loader threadpool micro-kernel

Updated Oct 6, 2024
C++

yshui / SadOS

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

kernel filesystem operating-system micro-kernel

Updated May 18, 2015
C

manu88 / SeL4_101

How to create a Hello World seL4 project from scratch

tutorial hello-world sel4 micro-kernel

Updated Oct 17, 2020
CMake

amila1998 / OSGI_FrameWork-Bakery-Shop

OSGI FrameWork for Bakery Shop

java plugins osgi file-handling osgi-services micro-kernel osgi-bundle file-handling-in-java micro-kernel-architecture

Updated Apr 19, 2022
Java

fnayou / symfony-micro-framework

Symfony Micro Framework based on MicroKernelTrait

php symfony micro-framework symfony-micro-framework micro-kernel

Updated Aug 14, 2017
PHP

prikarna / NanoOS

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

kernel micro-kernel

Updated Jan 24, 2021
C++

celestial-systems / orion

x86_64 micro kernel, used in CelestialOS

minimal configuration osdev operating-system micro-kernel

Updated Feb 18, 2023
C

ubugeeei / vaughan

Operating system scratch implements in C lang

gui kernel clang operating-system micro-kernel window-system

Updated Jan 9, 2023
C

CixoDevelop / aiko

Aiko lightweight powerful operating system

kernel microcontrollers scheduler micro-kernel ultra-small avr-kernel avr-scheduler ultra-small-rtos microcontroller-os os-for-microcontroller

Updated Aug 2, 2023
C

GuillaumeGas / LtMicros

A little micro-kernel written in C++

kernel cpp os operating-system microkernel micro-kernel

Updated Mar 1, 2020
C++

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.

mysql java social-media apache osgi micro-kernel

Updated Mar 19, 2023
Java

outpost-os / sentry-kernel

Outpost OS sentry kernel sources

kernel micro-kernel outpostos

Updated Nov 20, 2024
C

LLMGuardian / Guardian

The LLM guardian kernel

go golang microservices kernel guardian jailbreak prompt micro-kernel guardrail llm prompt-engineering chatgpt prompt-injection prompt-security

Updated Nov 24, 2024
Go

Ranmal-Dewage / Medicine-and-Patient-Management

Medicine and Patient Management System using OSGI framework.

java osgi equinox micro-kernel patient-management medicine-management

Updated Apr 14, 2021
Java

tenusha / medicine-and-patient-managemen

Medicine and Patient Management System using OSGI framework

java osgi equinox micro-kernel patient-management medicine-management

Updated Apr 5, 2019
Java

Followers: 206 followers
Wikipedia: Wikipedia