:books: Learn to write an embedded OS in Rust :crab:
- rust
- bare-metal
- raspberry-pi-3
- rpi3
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
Learning operating system development using Linux kernel and Raspberry Pi
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Security sensor for realtime threat detection and protection
WinDBG Anti-RootKit Extension
- kernel-mode
- c-plus-plus
- malware
- malware-analysis
Open PS5 firmware 14.10 research: Lua userland experiments, syscall and attack-surface analysis. Kernel read/write and a complete exploit are not demonstrated.
- ps5
- ps5-homebrew
- ps5-jailbreak
- ps5-tools
DPDK interface driver for userspace TCP/IP stack
bpflock - eBPF driven security for locking and auditing Linux machines
Dart PostgreSQL driver: supports extended query format, binary protocol and statement reuse.
Full async Micropython web server with small memory footprint.
- esp8266
- esp
- python
- async
OPAL boot and runtime firmware for POWER
A secure and high performances microkernel for building secure MCU-based IoTs
Cross-compile the Linux kernel for Raspberry Pi with enhanced security in a single command.
- raspberry-pi
- linux-kernel
- raspberrypi-kernel
- security
Jupyter MicroPython Kernel made with upydevice
Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.
- automation
- cgroupv2
- docker
- homelab