nmenon / kernel_patch_verifyLinks
Linux kernel patch static verification tool
☆28Updated this week
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☆74Updated last month
- Kernel coredump file access☆32Updated 5 months ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated last month
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 9 years ago
- Release model of the Linux kernel☆15Updated 5 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆56Updated 8 years ago
- Scripts to build and test Linux kernels☆50Updated 6 months ago
- ☆120Updated 3 months ago
- OPAL boot and runtime firmware for POWER☆110Updated last month
- Virtio draft specification☆66Updated 12 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 8 years ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆46Updated 5 months ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- System initialization firmware for Power systems☆78Updated 2 weeks ago
- Native Linux KVM Tool☆51Updated 10 years ago
- The Suspend/Resume project provides a tool for system developers to visualize the activity between suspend and resume, allowing them to i…☆141Updated last week
- ☆84Updated 2 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆40Updated 6 years ago
- Upstream Linux Kernel Validation Project API☆38Updated last year
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- The little simulator that could.☆23Updated 8 years ago
- Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools☆43Updated 4 years ago
- Handy kernel development scripts.☆51Updated 5 months ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆35Updated 9 months ago
- ☆19Updated last week
- Collect ACPI table dumps☆38Updated last year
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- x86info : x86 processor register decoder.☆46Updated 9 months ago
- Linux kernel source tree☆26Updated 3 months ago