raspberry-pi-kernel-hardened

Kernel builder

A tool to build hardened versions of the Linux kernel for Raspberry Pi with enhanced security support.

Cross-compile the Linux kernel for Raspberry Pi with enhanced security in a single command.

GitHub

23 stars
1 watching
3 forks
Language: Shell
last commit: almost 4 years ago
Linked from 1 awesome list

linux-kernelraspberry-piraspberrypi-kernelsecurityselinux

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
anthraxx/linux-hardenedA minimal Linux kernel hardening project574
a13xp0p0v/kernel-hardening-checkerTools for analyzing and hardening the security of Linux kernels1,711
heeplr/rpi-cookstrapAutomated tool for creating customized Raspberry Pi OS images by leveraging standard tools and shell scripts14
frogging-family/linux-tkgAutomatically builds and configures a custom Linux kernel for desktop and gaming use cases.1,367
gregkh/kernel-developmentA presentation on how Linux kernel development works624
kkamagui/shadow-box-for-x86A lightweight kernel protector for x86 systems using hypervisor-based isolation and security monitoring.184
cohdjn/cisecurityAutomates Linux hardening to conform to Center for Internet Security Benchmark standards9
compsec-snu/razzerAutomated tool to find and identify race bugs in kernels through fuzzing359
konstruktoid/hardeningA script to harden a Ubuntu server for security1,394
copperhead/linux-hardenedA customized Linux distribution designed to prioritize security and stability for resource-constrained environments.5
citahub/citaA high-performance blockchain kernel designed to support enterprise users with scalability, customizability, and reliability features.1,304
librerpi/lk-overlayDevelops custom kernels and firmware for Raspberry Pi devices90
takluyver/ubit_kernelAn interface to run MicroPython code on the micro:bit single-board computer26
mainframed/tshockerAn FTP-based tool to execute malicious commands on a mainframe system using a CATSO/JCL wrapper24