nmenon / kernel_patch_verifyLinks
Linux kernel patch static verification tool
☆25Updated last month
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☆70Updated this week
- Release model of the Linux kernel☆14Updated 5 years ago
- Scripts to build and test Linux kernels☆51Updated 2 months ago
- Upstream Linux Kernel Validation Project API☆38Updated last year
- The Suspend/Resume project provides a tool for system developers to visualize the activity between suspend and resume, allowing them to i…☆139Updated last month
- Kernel coredump file access☆31Updated last month
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated last week
- Linux UEFI Validation Distribution☆117Updated 4 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 8 years ago
- Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.☆32Updated last year
- ☆116Updated last month
- Linux kernel history logs and stats☆111Updated 6 months ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆35Updated 5 months ago
- Dynamic Host Configuration Protocol for IPv4☆16Updated last year
- Linux kernel source tree☆26Updated 2 months ago
- Vim plugin to respect the Linux kernel coding style http://www.vim.org/scripts/script.php?script_id=4369☆57Updated 6 months ago
- set of small and useful kernel modules/patches for tracing/debugging of different stuff and for learning of Linux kernel☆34Updated 7 years ago
- Intel's power gadget for Linux☆19Updated 7 years ago
- 8️⃣ systemd source-git for RHEL8☆10Updated last month
- OPAL boot and runtime firmware for POWER☆110Updated last week
- Matching Commits with Their Mailing List Discussions☆39Updated 7 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆45Updated last month
- UEFI, on Loongson.☆14Updated 9 years ago
- System firmware update support for UEFI machines☆99Updated 4 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference. We don't handle pull requests.☆38Updated last week
- Playground for the BFQ (Budget Fair Queueing) I/O block scheduler☆24Updated 8 years ago
- My ~/linux/ directory framework☆102Updated last month
- ☆44Updated 6 years ago
- dummy Linux kernel module for education purpose☆12Updated 10 years ago