cbiffle / brittle-kernelLinks
A security-oriented microkernel for Cortex-M microcontrollers
☆25Updated 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:
- DEPRECATED: Use instread https://github.com/ARM-software/LLVM-embedded-toolchain-for-Arm Cortex M3/M4 with LLVM toolkit☆59Updated 4 years ago
- ARM Run-Time ABI for the Cortex-M0 processor☆52Updated 3 years ago
- MDX — A bare-metal / RTOS framework☆29Updated last week
- a simple C-to-Verilog compiler☆51Updated 8 years ago
- A collection of little open source FPGA hobby projects☆50Updated 5 years ago
- GDB stub that allows debugging of embedded devices☆34Updated 10 years ago
- ☆49Updated last week
- Simplified ELF loader for ARM Cortex-M4 based platform☆87Updated 11 years ago
- Debugger For Cortex-M MCUs (Linux & OSX)☆26Updated 3 years ago
- Betrusted embedded controller (UP5K)☆48Updated 2 years ago
- Hardware Description from Technical Documentation☆14Updated last week
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆34Updated 2 months ago
- DTask is a scheduler for statically dependent tasks.☆27Updated 7 years ago
- bare metal ARM examples to be run with qemu-system-arm☆77Updated 6 years ago
- The eChronos real-time operating system☆177Updated 6 years ago
- Decode SVD files to talk to microcontrollers through a debug probe.☆18Updated last year
- Software, tools, documentation for Vegaboard platform☆64Updated 6 years ago
- Tools and Examples for IcoBoard☆80Updated 4 years ago
- ☆113Updated 8 years ago
- This repository is no longer maintained and will be archived, please see https://github.com/linux4microchip/meta-mchp☆58Updated 5 months ago
- rpi-internal-registers☆41Updated 6 years ago
- Bootloader for Fomu☆104Updated 3 years ago
- Unified startup code and link scripts for Cortex-M microcontrollers☆37Updated 11 years ago
- Moxie-compatible core repository☆47Updated 5 months ago
- Fork of OpenOCD with NuttX thread support.☆24Updated 7 years ago
- Example litex Risc-V SOC and some example code projects in multiple languages.☆71Updated 2 years ago
- ☆17Updated 4 years ago
- QEMU for PIC32☆34Updated 11 months ago
- Minimalist plugin manager for GDB and LLDB☆84Updated 5 years ago
- Official MSPSim git repository☆68Updated 2 years ago