Linux kernel patch static verification tool
☆34Jun 18, 2026Updated last month
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 5 years ago
- OMAP-specific metadata for OpenEmbedded.☆15May 28, 2009Updated 17 years ago
- Dynamic Host Configuration Protocol for IPv4☆16Jul 3, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Various tools (Buildbot, Linux kernel, tests, helpers)☆19Updated this week
- FreeRTOS Multicore for the Cortex-M3(Ducati) on Pandaboard☆24May 13, 2013Updated 13 years ago
- ☆16Aug 11, 2025Updated 11 months ago
- ☆21Dec 18, 2013Updated 12 years ago
- Microbenchmark for zsmalloc allocation mapping☆11Dec 14, 2015Updated 10 years ago
- ☆13Jul 16, 2018Updated 8 years ago
- Circles for iOS☆19Feb 3, 2025Updated last year
- ElementalX for Nexus 7 (2013)☆28Apr 21, 2018Updated 8 years ago
- ☆16Jan 20, 2021Updated 5 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.
- 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
- Ambi lets you execute any function ambidextrously; providing you the ability to execute any function (be it synchronous, asynchronous, re…☆16Updated this week
- framework for a simple user space for lk☆26Mar 7, 2026Updated 4 months ago
- 🌐 The BRUTAL operating system project blog and landing page☆10May 29, 2022Updated 4 years ago
- ☆10Feb 12, 2021Updated 5 years ago
- m branch use for Temasek build CM13.0 / m2 for advance users☆13Aug 20, 2016Updated 9 years ago
- build system image for TH1520 boards☆12May 3, 2026Updated 2 months ago
- DevSecOps for the AI-era CI/CD pipeline. Catches the bugs your AI coding assistant introduces — before they reach production.☆20Jul 14, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Samsung kernel sources for the Galaxy Note 5, S6, S6 edge, and S6 edge+☆21Jan 27, 2017Updated 9 years ago
- Lightweight and minimal operating system developed for learning purposes.☆11May 21, 2021Updated 5 years ago
- Dreg's setup for lldb reversing. The simplest and easiest possible, without scripting. lldb debugging setup.☆15May 2, 2024Updated 2 years ago
- oracle数据同步到Greenplum的shell脚本☆11May 13, 2019Updated 7 years ago
- The DCC-EX website, written in reStructuredText, generated using sphinx, and served by GitHub pages.☆14Jul 12, 2026Updated last week
- Malware analysis and Reverse Engineering Workshops from Invoke RE☆15Jun 30, 2024Updated 2 years ago
- Packaging for a hybris-HA☆27Jul 4, 2026Updated 2 weeks ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 6 months ago
- Blink demo, showing how to use the PRU microcontroller on the PocketBeagle☆11Nov 28, 2017Updated 8 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.
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 6 years ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆17Sep 25, 2023Updated 2 years ago
- Fully Randomized Pointers☆19Jun 10, 2025Updated last year
- ☆25Jan 29, 2026Updated 5 months ago
- Multirotor Flight Controller☆10Aug 28, 2019Updated 6 years ago
- Trying for all arch detour stuff now☆11Feb 10, 2017Updated 9 years ago
- ☆11May 26, 2020Updated 6 years ago