Linux kernel patch static verification tool
☆31May 8, 2026Updated last week
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:
- ☆18Mar 6, 2025Updated last year
- mirror of:☆14Updated this week
- Processor SDK (PSDK) documentation source☆33Updated this week
- Various tools (Buildbot, Linux kernel, tests, helpers)☆18May 5, 2026Updated 2 weeks ago
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 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.
- A small tool to read & write device registers☆34Apr 11, 2026Updated last month
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆58Mar 12, 2026Updated 2 months ago
- Shell script-wrapper over qemu-kvm command I use for Linux kernel checks.☆24Sep 22, 2013Updated 12 years ago
- Imported from https://gitorious.org/beagleboard-usbsniffer/☆15Oct 19, 2015Updated 10 years ago
- A home internet server configuration for the BeagleBone Black, Raspberry Pi or Cubieboard☆10Jun 16, 2014Updated 11 years ago
- unofficial grsecurity gpl release☆24Dec 18, 2018Updated 7 years ago
- Math expression evaluation as Linux kernel module☆17Apr 5, 2020Updated 6 years ago
- DAMON-based Optimal Operation Schemes☆17Sep 5, 2024Updated last year
- ☆10Feb 12, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Miscellaneous Linux kernel tools and toys☆19Jan 16, 2020Updated 6 years ago
- PKGBUILD for AMD's proprietary AMF video encoder on Linux☆13Oct 19, 2021Updated 4 years ago
- build system image for TH1520 boards☆12May 3, 2026Updated 2 weeks ago
- Reverse engineering the Motorola sensorhub firmware☆21Apr 11, 2023Updated 3 years ago
- Esya 2015 Website☆12Aug 19, 2015Updated 10 years ago
- Software Instrumentation Dynamically Enabled☆15Feb 27, 2026Updated 2 months ago
- MSP430G2xx3 flashing tool supporting Linux, Windows, and Mac OS.☆21Mar 29, 2021Updated 5 years ago
- ☆10May 5, 2025Updated last year
- A flexible Python Kconfig implementation☆19Apr 8, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- FFMpeg based helper to automize aax to mp3 conversion☆18Oct 15, 2020Updated 5 years ago
- ☆12Oct 5, 2015Updated 10 years ago
- .ipk package that turns your mint OpenWRT into a PirateBox☆71Nov 28, 2022Updated 3 years ago
- A repository dedicated to research and applications of the AM355x_PRU. Detailed walkthroughs of all examples are available at http://elin…☆20Nov 6, 2012Updated 13 years ago
- Multirotor Flight Controller☆10Aug 28, 2019Updated 6 years ago
- NuMark PartyMix MIDI controller mappings for MIXXX☆10Aug 21, 2018Updated 7 years ago
- Test application for the ALSA AVB driver☆11Nov 17, 2019Updated 6 years ago
- ☆13Apr 8, 2016Updated 10 years ago
- Packaging for a hybris-HA☆27Mar 30, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Some scripts I use to maintain Ubuntu on the Beaglebone platform☆24Jan 27, 2019Updated 7 years ago
- Fully Randomized Pointers☆19Jun 10, 2025Updated 11 months ago
- This repository contains source code for Universal boot loader This repository contains source code for Universal boot loader for use wit…☆12Aug 19, 2025Updated 9 months ago
- Golang RFID authentication for ps1auth☆13Oct 3, 2016Updated 9 years ago
- Android/bionic port of busybox☆58Jun 17, 2011Updated 14 years ago
- A "physical web" framework for the Internet of Things☆13Oct 16, 2019Updated 6 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 4 months ago