nmenon / kernel_patch_verifyLinks
Linux kernel patch static verification tool
☆25Updated 2 months ago
Alternatives and similar repositories for kernel_patch_verify
Users that are interested in kernel_patch_verify are comparing it to the libraries listed below
Sorting:
- Kexec Tools: Userspace portion of Kexec☆71Updated 3 weeks ago
- Release model of the Linux kernel☆14Updated 5 years ago
- Scripts to build and test Linux kernels☆50Updated 3 months ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 9 years ago
- Intel's power gadget for Linux☆19Updated 7 years ago
- The Suspend/Resume project provides a tool for system developers to visualize the activity between suspend and resume, allowing them to i…☆140Updated last week
- Linux kernel source tree☆26Updated this week
- Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools☆45Updated 4 years ago
- ☆118Updated 2 weeks ago
- Linux UEFI Validation Distribution☆117Updated 4 years ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆46Updated 2 months ago
- This is a simple CLI interface helper library for C.☆52Updated 2 months ago
- Virtio draft specification☆66Updated 12 years ago
- Kernel coredump file access☆31Updated 3 months ago
- OPAL boot and runtime firmware for POWER☆111Updated 3 weeks ago
- Upstream Linux Kernel Validation Project API☆38Updated last year
- Virtual machine monitor for L4Re☆33Updated last week
- My ~/linux/ directory framework☆103Updated last week
- A kernel module that dynamically patches the Linux kernel scheduler so as to allow running a custom function upon thread reschedule☆14Updated 7 years ago
- ☆29Updated 9 years ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated last month
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- Virtio in userspace☆12Updated 14 years ago
- set of small and useful kernel modules/patches for tracing/debugging of different stuff and for learning of Linux kernel☆33Updated 7 years ago
- Linux kernel history logs and stats☆111Updated 8 months ago
- greybus kernel code☆21Updated 9 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated last month
- Bootrom☆17Updated 9 years ago
- A minimalistic initrd implementation☆89Updated last year
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆35Updated 7 months ago