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
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- Release model of the Linux kernel☆14Updated 4 years ago
- Scripts to build and test Linux kernels☆49Updated 3 weeks ago
- Kernel coredump file access☆27Updated 3 months ago
- greybus kernel code☆21Updated 8 years ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆34Updated this week
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- Upstream Linux Kernel Validation Project API☆41Updated 11 months ago
- Bootrom☆15Updated 9 years ago
- (DEPRECATED: check kernelci-core) LAVA CI Tools for Production KernelCI - please make pull requests against lava-ci-staging instead☆21Updated 6 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Linux kernel for Qualcomm's Hexagon processors☆9Updated 12 years ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆23Updated 7 months ago
- Virtio in userspace☆11Updated 13 years ago
- ☆11Updated 4 years ago
- Kexec Tools: Userspace portion of Kexec☆68Updated this week
- Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.☆31Updated 7 months ago
- A small python tool for downloading bootloader to ddr through serial port☆12Updated 9 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- ☆20Updated last year
- Function tracer for gcc☆35Updated 8 years ago
- This is a simple CLI interface helper library for C.☆46Updated last year
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- Virtual Machine built as a CAmkES component.☆23Updated last month
- Linux kernel history logs and stats☆110Updated last month
- Tool to create ABI reports from ELF binaries in packaging☆16Updated 4 years ago
- ☆29Updated 9 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- 64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9☆24Updated 9 years ago