nmenon / kernel_patch_verify
Linux kernel patch static verification tool
☆25Updated 2 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
- Release model of the Linux kernel☆14Updated 4 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- ☆11Updated 4 years ago
- Kexec Tools: Userspace portion of Kexec☆68Updated 3 months ago
- Scripts to build and test Linux kernels☆49Updated last month
- Kernel coredump file access☆26Updated 2 months ago
- greybus kernel code☆21Updated 8 years ago
- Bootrom☆15Updated 9 years ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆34Updated last month
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Test suite for device mapper targets☆23Updated 2 weeks ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- Linux kernel source tree☆26Updated last week
- Virtio in userspace☆11Updated 13 years ago
- Simplified version of flashrom for installing new system firmware☆19Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated last week
- ☆13Updated 6 years ago
- Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools☆44Updated 4 years ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆32Updated this week
- x86info : x86 processor register decoder.☆41Updated last month
- Handy kernel development scripts.☆46Updated 3 months ago
- Basic tools for building seL4 projects☆46Updated last week
- work in progress ports of linuxboot for various mainboards☆21Updated 2 years ago
- 8️⃣ systemd source-git for RHEL8☆10Updated 2 weeks ago
- Playground for the BFQ (Budget Fair Queueing) I/O block scheduler☆23Updated 7 years ago
- Prepare and store patch revisions as git tags☆133Updated last year
- A python script to help debug `-Wframe-larger-than=` warnings.☆9Updated 7 months ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆22Updated 6 months ago
- Build control images for Aboriginal Linux, http://landley.net/aboriginal/control-images☆13Updated 3 years ago
- Linux kernel for Qualcomm's Hexagon processors☆8Updated 12 years ago