Linux kernel patch static verification tool
☆31Apr 21, 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
- Release model of the Linux kernel☆15Aug 3, 2020Updated 5 years ago
- Processor SDK (PSDK) documentation source☆32Updated this week
- No longer used, use https://github.com/rust-lang/llvm-project instead☆11May 16, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 years ago
- Circles for iOS☆19Feb 3, 2025Updated last year
- Math expression evaluation as Linux kernel module☆17Apr 5, 2020Updated 6 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
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆33Aug 11, 2023Updated 2 years ago
- ☆10Feb 12, 2021Updated 5 years ago
- PKGBUILD for AMD's proprietary AMF video encoder on Linux☆13Oct 19, 2021Updated 4 years ago
- r2con 2020 CTF kernel challenge☆12Sep 13, 2020Updated 5 years ago
- My first real project. Uses Python and the Tkinter graphics module. Interactive 3-body gravity simulator.☆10May 28, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- build system image for TH1520 boards☆12Dec 25, 2025Updated 4 months ago
- eBPF kernels and user space tools for BeagleBone SBCs☆10Jan 16, 2022Updated 4 years ago
- Esya 2015 Website☆12Aug 19, 2015Updated 10 years ago
- MSP430G2xx3 flashing tool supporting Linux, Windows, and Mac OS.☆21Mar 29, 2021Updated 5 years ago
- FFMpeg based helper to automize aax to mp3 conversion☆18Oct 15, 2020Updated 5 years ago
- Blink demo, showing how to use the PRU microcontroller on the PocketBeagle☆11Nov 28, 2017Updated 8 years ago
- Simple Bash message queues using Linux named pipes.☆25Jun 19, 2024Updated last year
- Malware analysis and Reverse Engineering Workshops from Invoke RE☆15Jun 30, 2024Updated last year
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Multirotor Flight Controller☆10Aug 28, 2019Updated 6 years ago
- NuMark PartyMix MIDI controller mappings for MIXXX☆10Aug 21, 2018Updated 7 years ago
- Offsite backup for the miscellaneous KiCad boards that don't fit elsewhere☆13Aug 27, 2024Updated last year
- ☆13Apr 8, 2016Updated 10 years ago
- BeagleBone(Black) QEMU emulation☆14Mar 15, 2014Updated 12 years ago
- Packaging for a hybris-HA☆26Mar 30, 2026Updated 3 weeks ago
- Some scripts I use to maintain Ubuntu on the Beaglebone platform☆24Jan 27, 2019Updated 7 years 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 8 months ago
- Golang RFID authentication for ps1auth☆13Oct 3, 2016Updated 9 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.
- Android/bionic port of busybox☆58Jun 17, 2011Updated 14 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 3 months 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
- Language Bindings to interact with the BeagleBone PRUs☆10Jan 8, 2022Updated 4 years ago
- Trying for all arch detour stuff now☆11Feb 10, 2017Updated 9 years ago