ewok-kernel
Microkernel
A secure microkernel designed to efficiently harden embedded devices with strong security and performance features.
A secure and high performances microkernel for building secure MCU-based IoTs
73 stars
12 watching
9 forks
Language: Ada
last commit: over 4 years ago
Linked from 1 awesome list
adaarmarmv7membeddedewokewok-kernelmicrocontrollermicrocontroller-firmwaremicrokernelsecurityspark
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ev3osek/ev3osek | An operating system for programming Lego Mindstorms EV3 devices using C and real-time kernel. | 12 |
 dorianxgh/lukarnel | A microkernel project built using Zig and Rust that aims to develop a 64-bit operating system with modular design and protocolized inter-process communication. | 22 |
 yadox666/the-hackers-hardware-toolkit | A collection of hardware gadgets for penetration testing and security research | 2,085 |
 carglglz/jupyter_upydevice_kernel | A Jupyter kernel for interacting with MicroPython boards over USB/Serial or WebREPL connections. | 14 |
 takluyver/ubit_kernel | An interface to run MicroPython code on the micro:bit single-board computer | 26 |
 mszoek/hydrogen | A simple, 64-bit kernel that demonstrates preemptive multitasking and basic system features. | 36 |
 gui774ume/ebpfkit | A rootkit powered by eBPF designed to demonstrate offensive security techniques and bypass kernel protections. | 766 |
 eversinc33/banshee | A Windows kernel rootkit with anti-rootkit evasion features and keylogging capabilities. | 502 |
 spencerdodd/kernelpop | Automated framework for discovering and exploiting kernel vulnerabilities on Linux and macOS. | 687 |
 spacehuhntech/wifiduck | A tool to learn about keystroke injection attacks and BadUSBs by emulating a USB keyboard. | 2,124 |
 amnesica/kryptey | An Android keyboard implementing end-to-end encryption through the Signal protocol | 675 |
 alecmuffett/eotk | A toolkit for managing onion addresses and HTTPS certificates in multi-project deployments | 777 |
 dotcypress/ula | A hardware abstraction layer for the RP2040 microcontroller family | 780 |
 onkwon/yaos | An embedded operating system for single-core processors without MMU virtualization. | 47 |
 marksbench/mb_47x16 | A MicroPython module for interacting with SRAM and EEPROM on Microchip 47x16 EERAM devices. | 1 |