Linux kernel patch static verification tool
☆29Mar 2, 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
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☆31Mar 12, 2026Updated last week
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆59Mar 12, 2026Updated last week
- 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 5 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)☆32Aug 11, 2023Updated 2 years ago
- PKGBUILD for AMD's proprietary AMF video encoder on Linux☆12Oct 19, 2021Updated 4 years ago
- r2con 2020 CTF kernel challenge☆12Sep 13, 2020Updated 5 years ago
- Reverse engineering the Motorola sensorhub firmware☆20Apr 11, 2023Updated 2 years ago
- build system image for TH1520 boards☆12Dec 25, 2025Updated 2 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
- Sandbox for Rust firmware infrastructure targeting Cortex-R5 microcontrollers on the TDA4VM.☆14May 7, 2023Updated 2 years ago
- Software Instrumentation Dynamically Enabled☆15Feb 27, 2026Updated 2 weeks ago
- ☆10May 5, 2025Updated 10 months ago
- A flexible Python Kconfig implementation☆18Mar 1, 2026Updated 2 weeks ago
- FFMpeg based helper to automize aax to mp3 conversion☆17Oct 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
- Files related to Lantern's main PCB, such as schematic, Gerbers, and BOM☆12Sep 28, 2015Updated 10 years ago
- Malware analysis and Reverse Engineering Workshops from Invoke RE☆15Jun 30, 2024Updated last year
- 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
- Linux I2C Legacy Library☆16May 1, 2019Updated 6 years ago
- BeagleBone(Black) QEMU emulation☆13Mar 15, 2014Updated 12 years ago
- Packaging for a hybris-HA☆27Mar 2, 2026Updated 2 weeks ago
- Fully Randomized Pointers☆19Jun 10, 2025Updated 9 months ago
- Golang RFID authentication for ps1auth☆13Oct 3, 2016Updated 9 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 7 months 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
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated 3 weeks 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