mdenzel / self-healing_FreeRTOS
A self-healing FreeRTOS based on ARM TrustZone
☆17Updated 11 months ago
Alternatives and similar repositories for self-healing_FreeRTOS:
Users that are interested in self-healing_FreeRTOS are comparing it to the libraries listed below
- A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.☆46Updated 10 years ago
- Codezero Microkernel☆107Updated 3 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆41Updated 5 years ago
- DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers☆133Updated 6 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆11Updated 6 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- A simple userspace program to interact with Linux KVM☆23Updated last year
- Kernel-Mode-Linux☆24Updated 2 years ago
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆31Updated last month
- ☆29Updated 9 years ago
- MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure acce…☆19Updated last year
- GDB stub that allows debugging of embedded devices☆32Updated 9 years ago
- memTrace, a framework for lightweight memory tracing☆57Updated 5 years ago
- bare metal ARM examples to be run with qemu-system-arm☆71Updated 6 years ago
- JIT-accelerated RISC-V instruction set simulator☆33Updated last year
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 8 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆44Updated 4 years ago
- Minimal tool for measuring cost of mode switch☆15Updated 3 years ago
- Lab3: Construct a single-cycle CPU with Chisel☆18Updated last year
- raid is a GDB-like tiny debugger which is based on ptrace.☆13Updated 2 years ago
- A collection of loosely related OpenEmbedded layers providing several security technologies☆36Updated 2 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- ☆19Updated 9 years ago
- Basic integrated FreeRTOS☆17Updated 10 years ago
- LLVM Linker for Mobile Computing☆80Updated 8 years ago
- Python Based ARM CoreSight Debug and Trace Tools☆76Updated 2 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- Trust Zone Project☆21Updated 10 years ago
- A System Level RISCV32 Emulator Over x86_64: capable of booting RISCV Linux☆27Updated 3 years ago