nmenon / kernel_patch_verifyLinks
Linux kernel patch static verification tool
☆25Updated 3 weeks ago
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 4 years ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆34Updated last month
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- ☆11Updated 5 years ago
- greybus kernel code☆21Updated 8 years ago
- Test suite for device mapper targets☆22Updated 2 months ago
- Bootrom☆15Updated 9 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Updated 4 years ago
- Upstream Linux Kernel Validation Project API☆42Updated last year
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- kernelci.org common database tools☆28Updated this week
- Kernel coredump file access☆28Updated 4 months ago
- Kexec Tools: Userspace portion of Kexec☆70Updated 2 weeks ago
- x86info : x86 processor register decoder.☆42Updated 3 weeks ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Virtio in userspace☆12Updated 13 years ago
- ☆14Updated 5 years ago
- Scripts to build and test Linux kernels☆49Updated 2 months ago
- This repo is DEPRECATED.☆22Updated 2 months ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 8 years ago
- dummy Linux kernel module for education purpose☆12Updated 10 years ago
- Generic library for reporting various problems☆31Updated 3 weeks ago
- ☆20Updated last year
- Virtio draft specification☆65Updated 11 years ago
- Out-of-tree version of Linux' kconfig tool☆17Updated 11 months ago
- The BIOS for the PC Engines apu system board (based on the open source system BIOS CoreBoot)☆13Updated 10 years ago
- modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications☆5Updated 8 years ago
- MIrror of Angstrom metadata layer☆49Updated last month
- (DEPRECATED: check kernelci-core) LAVA CI Tools for Production KernelCI - please make pull requests against lava-ci-staging instead☆22Updated 6 years ago