A very small microkernel with memory isolation support, predictable WCET, and IPC primitives.The soul's sucessor of the KalangoRTOS.
☆16Oct 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for ulmk_microkernel
Users that are interested in ulmk_microkernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jan 18, 2021Updated 5 years ago
- Simple preemptive, realtime, multitask kernel made just for fun.☆11Jul 2, 2020Updated 6 years ago
- ☆19Oct 18, 2026Updated last week
- ☆13Apr 7, 2026Updated 6 months ago
- 一个esp8266做的廉价无人机☆17Mar 25, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Nov 11, 2021Updated 4 years ago
- Simple Socket Protocol for Embedded Systems☆17Dec 12, 2025Updated 10 months ago
- PrUcess is a low-power multi-clock configurable digital processing system that executes commands (unsigned arithmetic operations, logical…☆13Apr 29, 2023Updated 3 years ago
- PCB files for the Adafruit Gemma M0☆12May 18, 2021Updated 5 years ago
- Linux kernel source tree with Espressif patches☆45Updated this week
- ☆12May 21, 2020Updated 6 years ago
- Physical Cube using ESP32, Acc+Gyro and Bluetooth LE displayed in a Browser - A WebBluetooth experiment☆12Mar 30, 2018Updated 8 years ago
- ☆14May 15, 2018Updated 8 years ago
- ☆12Oct 2, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Miyoo Mini Milk Theme☆11Mar 28, 2023Updated 3 years ago
- a simple compiler☆18Aug 31, 2019Updated 7 years ago
- ☆22Oct 22, 2026Updated last week
- AutoSecGPT is an AI-power tool that supports security teams to model threats associated with their automotive application to ease the pro…☆16Apr 28, 2025Updated last year
- A compact, configurable RISC-V core☆13Jul 31, 2025Updated last year
- ☆12Jul 29, 2024Updated 2 years ago
- Uses Kinect to study human motion, does emotional analysis and generates music based on user's emotion.☆27Apr 16, 2015Updated 11 years ago
- A curated list of awesome lvgl resources☆20Mar 7, 2026Updated 7 months ago
- Repository for STM32WB55 based reflow toaster oven controller.☆15Jan 26, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Upload data to ThingSpeak in C!☆12Dec 29, 2016Updated 9 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- Simple digital and fast PID controller for AVR processors☆14Dec 28, 2018Updated 7 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated 3 months ago
- Linux kernel module for Raspberry Pi to use GPIO external interrupts☆12Dec 26, 2015Updated 10 years ago
- ESP32 Bluetooth Low Energy application with DHT11 temperature and humidity sensor☆19Feb 17, 2023Updated 3 years ago
- Implementation of KNX IoT over Thread☆15Oct 1, 2026Updated 3 weeks ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 5 years ago
- Source code of PSP custom firmware PRO☆12Sep 18, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 9 years ago
- Simple Open Surce Bootloader for ESP8266☆15Oct 23, 2020Updated 6 years ago
- Bist Library for Espressif Devices☆15Oct 15, 2026Updated 2 weeks ago
- Arduino STM32G473VCT6 MCU firmware for OOMWOO I/O board☆25Updated this week
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Jun 26, 2026Updated 4 months ago
- Firmware para ESP32 com suporte a integração com WebService e configuração via WiFiManager☆14Mar 30, 2019Updated 7 years ago
- ☆18Jul 1, 2020Updated 6 years ago