A security-oriented microkernel for Cortex-M microcontrollers
☆25Jun 9, 2016Updated 9 years ago
Alternatives and similar repositories for brittle-kernel
Users that are interested in brittle-kernel are comparing it to the libraries listed below
Sorting:
- Small Stack-Based Computer Compiler -- Verilog micro controller for FPGA housekeeping with peripherals☆16Jan 11, 2020Updated 6 years ago
- An Arduino UNO compatible implementation for the iCE40 FPGAs☆20Oct 7, 2020Updated 5 years ago
- Simple AMP Running Linux and Bare-Metal System on Both Zynq SoC Processors☆22Dec 17, 2015Updated 10 years ago
- ☆20Jul 7, 2016Updated 9 years ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 5 years ago
- Smol 2-stage RISC-V processor in nMigen☆26May 6, 2021Updated 4 years ago
- Embedded Template Library☆59Jun 11, 2023Updated 2 years ago
- Apio examples☆37Updated this week
- Compute the stack used by each of your functions (via GCC's `-fstack-usage` and call-graph tracing)☆32May 22, 2023Updated 2 years ago
- An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly☆33Nov 14, 2020Updated 5 years ago
- This repository contains a minimalistic Pascal compiler implemented in C, covering lexical and syntax analysis. It serves as a learning r…☆10Dec 7, 2023Updated 2 years ago
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆31May 18, 2017Updated 8 years ago
- TouchGFX simulator development in Visual Studio Code with CMake☆14Mar 25, 2025Updated 11 months ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Dec 2, 2025Updated 3 months ago
- List of supported protocol decoder for ScanaStudio software☆12Nov 2, 2018Updated 7 years ago
- Green SqlAlchemy extensions for pulsar☆11Nov 24, 2017Updated 8 years ago
- iMX233 singleboard PC docs☆12Sep 13, 2021Updated 4 years ago
- ☆10Jul 29, 2022Updated 3 years ago
- Nanos klib for NVIDIA GPUs☆14Mar 25, 2025Updated 11 months ago
- Transcribing long blocks of speech using Watson Speech To Text.☆11Sep 24, 2020Updated 5 years ago
- Verilog code to let an iCE40 FPGA drive a HUB75, yet still getting pixel data from sled.☆10May 9, 2018Updated 7 years ago
- ☆11Dec 30, 2025Updated 2 months ago
- This repository contains solutions to the practice problems available on the HDLBits platform, which cover a wide range of topics in Digi…☆12Apr 24, 2023Updated 2 years ago
- Eclipse Development setup for ARM cortex M based MCUs☆10Oct 9, 2017Updated 8 years ago
- ☆10Jan 17, 2022Updated 4 years ago
- A basic multitasking Operating System for ARM Cortex-M3 processors☆34Nov 6, 2022Updated 3 years ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- Reusable Verilog 2005 components for FPGA designs☆49Dec 14, 2025Updated 2 months ago
- µMotor miniature motor controller☆43Feb 27, 2025Updated last year
- A JavaFX/Java Swing Consumable Library for getting random users data with abundant details from api provided by https://random-data-api.c…☆10Aug 6, 2021Updated 4 years ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆14Aug 16, 2019Updated 6 years ago
- BillBe is an (incomplete) Hobbit BeBox emulator.☆13Sep 18, 2017Updated 8 years ago
- A simple spidergon network-on-chip with wormhole switching feature☆12Mar 22, 2021Updated 4 years ago
- Provides the STM32Cube MCU Component "hal_driver" for the STM32WL series.☆14Dec 1, 2025Updated 3 months ago
- ☆11Sep 6, 2025Updated 5 months ago
- dummy Linux kernel module for education purpose☆12Mar 11, 2015Updated 10 years ago
- ☆10Dec 10, 2020Updated 5 years ago
- Forward-looking approach in process mining (using system dynamics and process mining to simulate business processes)☆12Feb 16, 2023Updated 3 years ago
- flask-wysiwyg provides custom form fields to render wysiwyg editor instead of regular textareas. It takes care of cleaning html for you t…☆10Jul 8, 2014Updated 11 years ago