Linux kernel patch static verification tool
☆30Mar 20, 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:
- mirror of:☆14Updated this week
- Release model of the Linux kernel☆15Aug 3, 2020Updated 5 years ago
- Async client for NanoKVM devices☆14Mar 21, 2026Updated 2 weeks ago
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 years ago
- Circles for iOS☆19Feb 3, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆59Mar 12, 2026Updated 3 weeks ago
- Patchset for lucjan-kernels☆12Jul 19, 2022Updated 3 years ago
- Imported from https://gitorious.org/beagleboard-usbsniffer/☆15Oct 19, 2015Updated 10 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
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆32Aug 11, 2023Updated 2 years ago
- DAMON-based Optimal Operation Schemes☆17Sep 5, 2024Updated last year
- ☆10Feb 12, 2021Updated 5 years ago
- PKGBUILD for AMD's proprietary AMF video encoder on Linux☆12Oct 19, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Esya 2015 Website☆12Aug 19, 2015Updated 10 years ago
- Sandbox for Rust firmware infrastructure targeting Cortex-R5 microcontrollers on the TDA4VM.☆14May 7, 2023Updated 2 years ago
- Dreg's setup for lldb reversing. The simplest and easiest possible, without scripting. lldb debugging setup.☆14May 2, 2024Updated last year
- Software Instrumentation Dynamically Enabled☆15Feb 27, 2026Updated last month
- ☆10May 5, 2025Updated 11 months ago
- FFMpeg based helper to automize aax to mp3 conversion☆18Oct 15, 2020Updated 5 years 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
- Malware analysis and Reverse Engineering Workshops from Invoke RE☆15Jun 30, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 5 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☆13Mar 15, 2014Updated 12 years ago
- Packaging for a hybris-HA☆27Mar 30, 2026Updated last week
- Fully Randomized Pointers☆19Jun 10, 2025Updated 9 months ago
- Some scripts I use to maintain Ubuntu on the Beaglebone platform☆24Jan 27, 2019Updated 7 years ago
- Android/bionic port of busybox☆58Jun 17, 2011Updated 14 years ago
- 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.
- EDK II BaseTools Python tools as a PIP module☆28Aug 3, 2024Updated last year
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated last month
- A sandbox for my notes☆10Dec 15, 2015Updated 10 years ago
- ☆21Jan 31, 2021Updated 5 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
- Internet Radio based on the Beaglebone Black platform☆15Mar 4, 2016Updated 10 years ago