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:
- bare metal ARM examples to be run with qemu-system-arm☆76Updated 6 years ago
- DEPRECATED: Use instread https://github.com/ARM-software/LLVM-embedded-toolchain-for-Arm Cortex M3/M4 with LLVM toolkit☆59Updated 3 years ago
- Tools and Examples for IcoBoard☆81Updated 4 years ago
- MDX — A bare-metal / RTOS framework☆27Updated 3 weeks ago
- Debugger For Cortex-M MCUs (Linux & OSX)☆26Updated 3 years ago
- Betrusted embedded controller (UP5K)☆48Updated last year
- Moxie-compatible core repository☆47Updated last month
- GDB stub that allows debugging of embedded devices☆33Updated 10 years ago
- A collection of little open source FPGA hobby projects☆50Updated 5 years ago
- A flexible SoC emulator for ARM Cortex-M3☆13Updated 3 years ago
- Small Stack-Based Computer Compiler -- Verilog micro controller for FPGA housekeeping with peripherals☆16Updated 5 years ago
- USB Full-Speed core written in migen/LiteX☆17Updated 6 years ago
- ARM Run-Time ABI for the Cortex-M0 processor☆50Updated 3 years ago
- Simplified ELF loader for ARM Cortex-M4 based platform☆86Updated 10 years ago
- ☆46Updated this week
- Unified startup code and link scripts for Cortex-M microcontrollers☆37Updated 10 years ago
- a simple C-to-Verilog compiler☆51Updated 8 years ago
- The eChronos real-time operating system☆174Updated 5 years ago
- A "bare metal" ARM runtime example built with the GCC toolchain☆124Updated 10 years ago
- Bootloader for Fomu☆103Updated 2 years ago
- Fork of OpenVeriFla - FPGA debugging logic analyzer to use with your designs - examples (so far) for ice40/IceStorm☆33Updated 6 years ago
- LLVM Bare Metal GitSlave☆53Updated 11 years ago
- ☆24Updated 2 years ago
- Example litex Risc-V SOC and some example code projects in multiple languages.☆69Updated 2 years ago
- C++ TCP/IP and SSH stack with bounded run time and no dynamic memory allocations☆40Updated 2 months ago
- Hardware Description from Technical Documentation☆13Updated 7 months ago
- The Antikernel operating system project☆122Updated 5 years ago
- Icestorm, Arachne-pnr and Yosys pre-built binaries: GNU/Linux(+ARM), Windows and Mac OS☆38Updated 3 years ago
- Utilities for working with a Wishbone bus in an embedded device☆45Updated 3 weeks ago
- ☆61Updated last year