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/
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
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