Patching and hooking the Linux kernel with only a stripped Linux kernel image.
-
Updated
Feb 17, 2025 - C
#
kernel-security
Here are 6 public repositories matching this topic...
Utility to find hidden Linux kernel modules
-
Updated
Dec 18, 2024 - C
-
Updated
Apr 10, 2023 - Python
Linux & Android Kernel Vulnerability research and exploitation
linux pwn exploitation kernel-exploitation privilege-escalation lpe linux-kernel-hacking kernel-bypass vulnerability-research privilege-escalation-exploits kernel-security
-
Updated
Dec 12, 2023
Kernel hacklemenin temellerini öğrenin (🇹🇷 Türkçe bir kaynak)
kernel-module turkish kernel-exploitation learn-by-doing kernel-exploit turkce-kaynak kernel-hacking turkce-dokuman kernel-exploits kernel-development kernel-vulnerability learn-hacking kernel-security
-
Updated
Dec 30, 2024 - C
This repository contains the mCertiKOS certified operating system kernel, focusing on security and formal verification using Coq and CompCert. It supports building and testing on bare-metal or QEMU environments.
ocaml coq virtualization qemu compcert formal-verification kernel-security mcertikos certified-operating-systems operating-system-kernel-development
-
Updated
Jan 3, 2025 - Coq
Improve this page
Add a description, image, and links to the kernel-security topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kernel-security topic, visit your repo's landing page and select "manage topics."