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☆71Updated last week
- Kernel coredump file access☆31Updated 2 months ago
- Scripts to build and test Linux kernels☆51Updated 3 months ago
- OPAL boot and runtime firmware for POWER☆111Updated last week
- Release model of the Linux kernel☆14Updated 5 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 this week
- Virtio in userspace☆12Updated 13 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 9 years ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated 2 weeks ago
- Linux kernel source tree☆26Updated 2 months ago
- Linux kernel history logs and stats☆111Updated 7 months ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆46Updated last month
- Upstream Linux Kernel Validation Project API☆38Updated last year
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- My ~/linux/ directory framework☆102Updated last week
- ARM Trusted Firmware☆14Updated 7 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- Dynamic Host Configuration Protocol for IPv4☆16Updated last week
- System initialization firmware for Power systems☆78Updated this week
- ☆116Updated 2 months ago
- Test suite for device mapper targets☆23Updated 7 months ago
- kernelci.org common database tools☆28Updated last month
- Verify backward compatibility of Linux packages (RPM or DEB)☆22Updated 5 years ago
- Linux UEFI Validation Distribution☆117Updated 4 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 9 years ago
- Virtual machine monitor for L4Re☆33Updated this week
- Read-only mirror of https://review.coreboot.org/blobs. We don't handle pull requests.☆28Updated 2 weeks ago
- Linux kernel for Qualcomm's Hexagon processors☆10Updated 12 years ago
- ☆11Updated 5 years ago
- Function tracer for gcc☆35Updated 8 years ago