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 3 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. | 21 |
 yadox666/the-hackers-hardware-toolkit | A collection of hardware gadgets for penetration testing and security research | 2,078 |
 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. | 761 |
 eversinc33/banshee | A Windows kernel rootkit with anti-rootkit evasion features and keylogging capabilities. | 493 |
 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,110 |
 amnesica/kryptey | An Android keyboard implementing end-to-end encryption through the Signal protocol | 671 |
 alecmuffett/eotk | A toolkit for managing and securing multi-layered onion networks with secure communication protocols. | 775 |
 dotcypress/ula | A hardware abstraction layer for the RP2040 microcontroller family | 755 |
 onkwon/yaos | An embedded operating system for single-core ARM Cortex-M microcontrollers | 47 |
 marksbench/mb_47x16 | A MicroPython module/driver for accessing 47x16 EERAM devices | 1 |