Linux kernel patch static verification tool
☆34Aug 6, 2026Updated this 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:
- BeagleBoard.org rust based utility for flashing SDCard, MCUs and configuring software image options like username, password, networking e…☆19Updated this week
- mirror of:☆14Updated this week
- Release model of the Linux kernel☆15Aug 3, 2020Updated 6 years ago
- Code for driving WS2812b's with an ATTINY85 and a lil state machine☆14Dec 20, 2014Updated 11 years ago
- Async client for NanoKVM devices☆14May 18, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- TMC2208 Extension board for Cetus3d mk3☆11Nov 21, 2020Updated 5 years ago
- A small tool to read & write device registers☆35Apr 11, 2026Updated 3 months ago
- Circles for iOS☆19Feb 3, 2025Updated last year
- unofficial grsecurity gpl release☆23Dec 18, 2018Updated 7 years ago
- Imported from https://gitorious.org/beagleboard-usbsniffer/☆15Oct 19, 2015Updated 10 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆33Aug 11, 2023Updated 2 years ago
- 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…☆16Aug 2, 2026Updated last week
- framework for a simple user space for lk☆26Mar 7, 2026Updated 5 months 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.
- Tools to read i2c registers, useful to debug i2c-hid devices in user space☆13Oct 19, 2018Updated 7 years ago
- m branch use for Temasek build CM13.0 / m2 for advance users☆13Aug 20, 2016Updated 9 years ago
- Zen Kernel for the Moto Nexus 6☆11Jun 2, 2015Updated 11 years ago
- Reverse engineering the Motorola sensorhub firmware☆22Apr 11, 2023Updated 3 years ago
- A tool for manipulating Call of Duty savegames.☆11May 7, 2017Updated 9 years ago
- eBPF kernels and user space tools for BeagleBone SBCs☆10Jan 16, 2022Updated 4 years ago
- Respond to pings before they even arrive at the server☆20May 13, 2014Updated 12 years ago
- Suck down pipermail archives and put them in a maildir (so you can read them in mutt, the mailreader of the cognoscenti)☆16Feb 2, 2010Updated 16 years ago
- DevSecOps for the AI-era CI/CD pipeline. Catches the bugs your AI coding assistant introduces — before they reach production.☆20Jul 14, 2026Updated 3 weeks ago
- 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.
- Dreg's setup for lldb reversing. The simplest and easiest possible, without scripting. lldb debugging setup.☆15May 2, 2024Updated 2 years ago
- ☆12Oct 5, 2015Updated 10 years ago
- idleKernel is a fork of leanKernel for Samsung Galaxy Note 3. It adds new features and updates.☆21Jul 7, 2016Updated 10 years ago
- Bootrom☆19Feb 16, 2016Updated 10 years ago
- Malware analysis and Reverse Engineering Workshops from Invoke RE☆15Jun 30, 2024Updated 2 years ago
- Files related to Lantern's main PCB, such as schematic, Gerbers, and BOM☆12Sep 28, 2015Updated 10 years ago
- ☆25Jan 29, 2026Updated 6 months ago
- Qt 5 QPA plugin for Droid hwcomposer☆23Jun 23, 2026Updated last month
- Multirotor Flight Controller☆10Aug 28, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11May 26, 2020Updated 6 years ago
- Unlock your Netgear EX2700☆10Oct 31, 2016Updated 9 years ago
- ☆13Apr 8, 2016Updated 10 years ago
- ☆21Jan 31, 2021Updated 5 years ago
- ☆12Jun 14, 2017Updated 9 years ago
- kernel spec, config for vanilla kernel rpms from kernel.org☆10Jan 24, 2022Updated 4 years ago
- ModJam Entry: Fireworks but (hopefully) into space☆11Nov 16, 2021Updated 4 years ago