cbiffle / brittle-kernel
A security-oriented microkernel for Cortex-M microcontrollers
☆25Updated 8 years ago
Alternatives and similar repositories for brittle-kernel:
Users that are interested in brittle-kernel are comparing it to the libraries listed below
- Debugger For Cortex-M MCUs (Linux & OSX)☆26Updated 2 years ago
- MDX — A BSD-style RTOS☆26Updated last week
- NOVA userland☆48Updated 11 years ago
- DEPRECATED: Use instread https://github.com/ARM-software/LLVM-embedded-toolchain-for-Arm Cortex M3/M4 with LLVM toolkit☆61Updated 3 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆53Updated 3 years ago
- GROM-8 CPU☆19Updated 7 years ago
- LLVM Bare Metal GitSlave☆52Updated 10 years ago
- Parse the programmable logic configuration of PSoC devices☆11Updated 7 years ago
- bare metal ARM examples to be run with qemu-system-arm☆71Updated 6 years ago
- Unified startup code and link scripts for Cortex-M microcontrollers☆33Updated 10 years ago
- From datasheet (pdf) to SVD... to then be fed into svd2rust☆9Updated 2 years ago
- A highly extensible ARM {e,si}mulator☆28Updated 2 weeks ago
- ARM Run-Time ABI for the Cortex-M0 processor☆47Updated 2 years ago
- ☆17Updated 6 months ago
- ☆63Updated 4 years ago
- A flexible SoC emulator for ARM Cortex-M3☆12Updated 2 years ago
- Acorn Atom in minimal configuration for iCE40 HX8K board and ICOboard☆11Updated last year
- QEMU for PIC32☆30Updated this week
- ☆51Updated 7 years ago
- Software, tools, documentation for Vegaboard platform☆64Updated 5 years ago
- USB Full-Speed core written in migen/LiteX☆17Updated 5 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆28Updated last week
- USB Full-Speed core written in migen/LiteX☆41Updated 5 years ago
- Barebones Raspberry Pi programming in C☆14Updated 5 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆38Updated 5 years ago
- GDB stub that allows debugging of embedded devices☆31Updated 9 years ago
- ☆22Updated last year
- A basic multitasking Operating System for ARM Cortex-M3 processors☆33Updated 2 years ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- Tools and Examples for IcoBoard☆79Updated 3 years ago