nmenon / kernel_patch_verify
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
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆34Updated 3 weeks ago
- Release model of the Linux kernel☆14Updated 4 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Virtio in userspace☆12Updated 13 years ago
- Scripts to build and test Linux kernels☆49Updated last month
- Linux kernel for Qualcomm's Hexagon processors☆9Updated 12 years ago
- valgrind fork with mmap tracing support☆23Updated 4 years ago
- ☆11Updated 4 years ago
- ☆20Updated last year
- (DEPRECATED: check kernelci-core) LAVA CI Tools for Production KernelCI - please make pull requests against lava-ci-staging instead☆21Updated 6 years ago
- Check kernel config files against a set of mandatory-for-security settings☆17Updated 4 years ago
- Test suite for device mapper targets☆22Updated last month
- Bootrom☆15Updated 9 years ago
- Handy kernel development scripts.☆48Updated 5 months ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- Kernel coredump file access☆27Updated 4 months ago
- work in progress ports of linuxboot for various mainboards☆21Updated 2 years ago
- Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools☆44Updated 4 years ago
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆16Updated 3 years ago
- Kexec Tools: Userspace portion of Kexec☆69Updated last week
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆39Updated 2 months ago
- Collect ACPI table dumps☆30Updated 4 months ago
- kernelci.org common database tools☆27Updated 2 weeks ago
- Upstream Linux Kernel Validation Project API☆41Updated last year
- This repo is DEPRECATED.☆22Updated last month
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.☆31Updated 8 months ago
- Documentation for 3D commands on Virgl3D☆26Updated 6 years ago
- Reliable Datagram Sockets Tools - rds-ping, rds-info, rds-stress☆10Updated 8 months ago