nmenon / kernel_patch_verifyLinks
Linux kernel patch static verification tool
☆25Updated last 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:
- Release model of the Linux kernel☆14Updated 5 years ago
- Kexec Tools: Userspace portion of Kexec☆70Updated last month
- Upstream Linux Kernel Validation Project API☆40Updated last year
- Scripts to build and test Linux kernels☆50Updated last month
- The Suspend/Resume project provides a tool for system developers to visualize the activity between suspend and resume, allowing them to i…☆138Updated last month
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆35Updated 4 months ago
- ☆48Updated 9 months ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- ☆70Updated 3 years ago
- greybus kernel code☆21Updated 8 years ago
- This is a simple CLI interface helper library for C.☆47Updated last week
- ☆112Updated 2 weeks ago
- OPAL boot and runtime firmware for POWER☆109Updated last month
- Linux kernel source tree☆26Updated 3 weeks ago
- Virtio in userspace☆12Updated 13 years ago
- Linux UEFI Validation Distribution☆117Updated 4 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- ☆70Updated last year
- ARM Trusted Firmware☆14Updated 7 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 6 years ago
- Collect ACPI table dumps☆32Updated 7 months ago
- Native Linux KVM Tool☆50Updated 9 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 8 years ago
- My presentations and papers☆46Updated 4 years ago
- A minimalistic initrd implementation☆89Updated last year
- set of small and useful kernel modules/patches for tracing/debugging of different stuff and for learning of Linux kernel☆33Updated 7 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆39Updated 5 years ago
- Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.☆32Updated 11 months ago
- Handy kernel development scripts.☆49Updated last week