Linux kernel patch static verification tool
☆34Sep 21, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OMAP-specific metadata for OpenEmbedded.☆15May 28, 2009Updated 17 years ago
- Code for driving WS2812b's with an ATTINY85 and a lil state machine☆14Dec 20, 2014Updated 11 years ago
- Qualcomm WLAN Driver. Forked from CodeAurora qcacld-2.0 repository☆18Apr 22, 2026Updated 5 months ago
- Dynamic Host Configuration Protocol for IPv4☆16Jul 21, 2026Updated 2 months ago
- Async client for NanoKVM devices☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- (Linux Kernel) Stack Monitoring Tool☆47Jan 31, 2022Updated 4 years ago
- Strace with enhancements to understand some Android 'binder' IPC calls☆13Aug 7, 2012Updated 14 years ago
- Personal Linaro toolchain for LTO kernel compilation☆10Feb 28, 2016Updated 10 years ago
- ARM Trusted Firmware for Raspberry Pi 3☆15Jul 8, 2018Updated 8 years ago
- Microbenchmark for zsmalloc allocation mapping☆11Dec 14, 2015Updated 10 years ago
- IPEM PiHat and IPEM PiHat Lite | Raspberry Pi ATM90E36 IoT Power Energy Monitor SDK☆18Jun 23, 2026Updated 3 months ago
- ☆13Jul 16, 2018Updated 8 years ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆60Jun 15, 2026Updated 3 months ago
- Shell script-wrapper over qemu-kvm command I use for Linux kernel checks.☆24Sep 22, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Apr 13, 2015Updated 11 years ago
- ElementalX for Nexus 7 (2013)☆28Apr 21, 2018Updated 8 years ago
- unofficial grsecurity gpl release☆24Dec 18, 2018Updated 7 years ago
- ☆16Jan 20, 2021Updated 5 years ago
- Imported from https://gitorious.org/beagleboard-usbsniffer/☆15Oct 19, 2015Updated 10 years ago
- ☆19Updated this week
- QCA 10.x mainline reference HAL - AR9380 and later series 802.11n NICs☆22May 23, 2015Updated 11 years ago
- Math expression evaluation as Linux kernel module☆17Apr 5, 2020Updated 6 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆33Aug 11, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- IEEE802.15.4 over USB Linux kernel driver☆16Jan 30, 2024Updated 2 years ago
- Ambi lets you execute any function ambidextrously; providing you the ability to execute any function (be it synchronous, asynchronous, re…☆17Updated this week
- framework for a simple user space for lk☆26Sep 7, 2026Updated last month
- a simple resume☆20Mar 17, 2023Updated 3 years ago
- Tools to read i2c registers, useful to debug i2c-hid devices in user space☆13Oct 19, 2018Updated 7 years ago
- 🌐 The BRUTAL operating system project blog and landing page☆10May 29, 2022Updated 4 years ago
- ☆22Aug 5, 2021Updated 5 years ago
- ☆10Feb 12, 2021Updated 5 years ago
- Linux kernel for Google MSM devices☆18Sep 20, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- m branch use for Temasek build CM13.0 / m2 for advance users☆13Aug 20, 2016Updated 10 years ago
- Sandbox for Rust firmware infrastructure targeting Cortex-R5 microcontrollers on the TDA4VM.☆15May 7, 2023Updated 3 years ago
- Zen Kernel for the Moto Nexus 6☆11Jun 2, 2015Updated 11 years ago
- Proof of concept use of linux-inject and proces patching☆39Feb 20, 2017Updated 9 years ago
- ZeroConf plugin for Cordova/Phonegap 3.0☆37Mar 16, 2017Updated 9 years ago
- ☆22Jun 10, 2023Updated 3 years ago
- AeroControl App for full Kernel control☆17Nov 19, 2016Updated 9 years ago