Linux kernel patch static verification tool
☆31Jun 18, 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:
- Release model of the Linux kernel☆15Aug 3, 2020Updated 5 years ago
- A small tool to read & write device registers☆34Apr 11, 2026Updated 2 months ago
- Circles for iOS☆19Feb 3, 2025Updated last year
- Patchset for lucjan-kernels☆12Jul 19, 2022Updated 3 years ago
- A home internet server configuration for the BeagleBone Black, Raspberry Pi or Cubieboard☆10Jun 16, 2014Updated 12 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.
- unofficial grsecurity gpl release☆23Dec 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
- IEEE802.15.4 over USB Linux kernel driver☆16Jan 30, 2024Updated 2 years ago
- a simple resume☆20Mar 17, 2023Updated 3 years ago
- build system image for TH1520 boards☆12May 3, 2026Updated last month
- A library turn Curie Core boards(Arduino/Genuino 101) into a Bluetooth Keyboard.☆18Jul 17, 2018Updated 7 years ago
- APCB Files for ROG ALLY bios - 32GB 7500☆37Jan 12, 2025Updated last year
- This repository contains the key code, examples and instructions to get Labview running on the Beagle Bone Black + Robotics Cape, or the …☆12Aug 1, 2017Updated 8 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.
- Software Instrumentation Dynamically Enabled☆15Feb 27, 2026Updated 4 months ago
- ☆10May 5, 2025Updated last year
- A flexible Python Kconfig implementation☆19Apr 8, 2026Updated 2 months ago
- ☆12Oct 5, 2015Updated 10 years ago
- Blink demo, showing how to use the PRU microcontroller on the PocketBeagle☆11Nov 28, 2017Updated 8 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
- KiCad Library for m.2 NGFF card☆28May 23, 2019Updated 7 years ago
- A Python-Markdown extension for creating memes and finding best-fitting gifs.☆13Nov 6, 2016Updated 9 years ago
- 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.
- Test application for the ALSA AVB driver☆11Nov 17, 2019Updated 6 years ago
- Offsite backup for the miscellaneous KiCad boards that don't fit elsewhere☆13Aug 27, 2024Updated last year
- Packaging for a hybris-HA☆27May 25, 2026Updated last month
- Fully Randomized Pointers☆19Jun 10, 2025Updated last year
- Golang RFID authentication for ps1auth☆13Oct 3, 2016Updated 9 years ago
- Android/bionic port of busybox☆58Jun 17, 2011Updated 15 years ago
- A "physical web" framework for the Internet of Things☆13Oct 16, 2019Updated 6 years ago
- ModJam Entry: Fireworks but (hopefully) into space☆11Nov 16, 2021Updated 4 years ago
- A sandbox for my notes☆10Dec 15, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Mechanical designs for a contactless takeout barrier for sanitary delivery of goods from a store to a guest or delivery person.☆14Mar 25, 2020Updated 6 years ago
- Trying for all arch detour stuff now☆11Feb 10, 2017Updated 9 years ago
- Language Bindings to interact with the BeagleBone PRUs☆10Jan 8, 2022Updated 4 years ago
- Internet Radio based on the Beaglebone Black platform☆15Mar 4, 2016Updated 10 years ago
- Linux kernel stepper motor driver over gpio for arch with or without pwm☆12Nov 1, 2011Updated 14 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆25May 7, 2025Updated last year
- greybus kernel code☆21Sep 15, 2016Updated 9 years ago