nmenon / kernel_patch_verify
Linux kernel patch static verification tool
☆24Updated last month
Related projects ⓘ
Alternatives and complementary repositories for kernel_patch_verify
- Release model of the Linux kernel☆14Updated 4 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- Bootrom☆15Updated 8 years ago
- Scripts to build and test Linux kernels☆48Updated 3 weeks ago
- Linux kernel for Qualcomm's Hexagon processors☆8Updated 11 years ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆32Updated last month
- Kernel coredump file access☆23Updated this week
- work in progress ports of linuxboot for various mainboards☆21Updated last year
- Provide musl as system C library for OpenEmbedded/Yocto☆22Updated 8 years ago
- Retired; BLS-only support lives at https://src.fedoraproject.org/rpms/grubby☆30Updated 2 years ago
- (DEPRECATED: check kernelci-core) LAVA CI Tools for Production KernelCI - please make pull requests against lava-ci-staging instead☆20Updated 6 years ago
- mirror of the blobs repository containing redistributable binaries☆26Updated this week
- Simplified version of flashrom for installing new system firmware☆18Updated last year
- Ampere EDK II implementation for Ampere's arm64 SoCs☆22Updated last month
- An embedded operating system kernel☆15Updated 7 years ago
- Build control images for Aboriginal Linux, http://landley.net/aboriginal/control-images☆12Updated 3 years ago
- ☆10Updated 4 years ago
- greybus kernel code☆21Updated 8 years ago
- tools to help hacking Allwinner A10 devices☆10Updated 7 years ago
- kexec-tools with hardboot support for MultiROM☆20Updated 4 months ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 5 years ago
- Test suite for device mapper targets☆23Updated last month
- modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications☆5Updated 7 years ago
- ☆43Updated 5 years ago
- Upstream Linux Kernel Validation Project API☆40Updated 6 months ago
- The little simulator that could.☆15Updated 6 years ago
- ☆13Updated last year