GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ EDI-Systems
3 open source projects by EDI-Systems
[ Open user page on Github ]
1.
M5p01 muprokaron
A tiny real-time kernel focusing on formal reliability and simplicity.
✭ 132
c
kernel
thread
microcontroller
rtos
2.
M7M01 MuEukaron
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
✭ 79
c
assembly
C++
Makefile
iot
microcontroller
cortex-m
containers
virtualization
hypervisor
multi-core
mcu
microkernel
capability-based
3.
M2A01 MuSimpron
Small yet powerful state machine coroutine library
✭ 34
c
state-machine
simple
coroutines
8-bit
4-bit
1-3
of
3
user projects