nmenon/kernel_patch_verify external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

nmenon/kernel_patch_verify

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/nmenon/kernel_patch_verify)

Close

nmenon / kernel_patch_verifyView on GitHubMore

• External links
• Readme badge

Linux kernel patch static verification tool

☆28Updated this 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

• gregkh / presentation-release-model

  View on GitHub
  Release model of the Linux kernel
  ☆15Aug 3, 2020Updated 5 years ago
• RobertCNelson / ti-linux-kernel

  View on GitHub
  mirror of:
  ☆14Updated this week
• fujitsu / crash-trace

  View on GitHub
  ☆18Mar 6, 2025Updated 11 months ago
• circles-project / circles-ios

  View on GitHub
  Circles for iOS
  ☆19Feb 3, 2025Updated last year
• awslabs / damoos

  View on GitHub
  DAMON-based Optimal Operation Schemes
  ☆17Sep 5, 2024Updated last year
• sysprog21 / kcalc

  View on GitHub
  Math expression evaluation as Linux kernel module
  ☆17Apr 5, 2020Updated 5 years ago
• jameshilliard / linux-grsec

  View on GitHub
  unofficial grsecurity gpl release
  ☆24Dec 18, 2018Updated 7 years ago
• mer-hybris / droid-hal-device

  View on GitHub
  Packaging for a hybris-HA
  ☆27Feb 5, 2026Updated 3 weeks ago
• bristot / rtsl

  View on GitHub
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Aug 24, 2021Updated 4 years ago
• flar2 / flo

  View on GitHub
  ElementalX for Nexus 7 (2013)
  ☆28Apr 21, 2018Updated 7 years ago
• oracle-samples / drgn-tools

  View on GitHub
  drgn helpers specific to Oracle UEK, along with custom CLI and reporting tool corelens
  ☆35Updated this week
• HunterStanton / COD-Save-Manipulator

  View on GitHub
  A tool for manipulating Call of Duty savegames.
  ☆11May 7, 2017Updated 8 years ago
• kreyosopensource / KreyosIOS

  View on GitHub
  ☆16Sep 22, 2014Updated 11 years ago
• dylex / android_external_busybox

  View on GitHub
  Android/bionic port of busybox
  ☆58Jun 17, 2011Updated 14 years ago
• kubeflow / kfserving-lts

  View on GitHub
  ☆12Aug 2, 2024Updated last year
• obdresource / OBDResource-Diagnostic-tool-Shop

  View on GitHub
  BDResource Technology Co.,Ltd, engaged in making auto electrical diagnostic tools, such as X431,GM tech2,TMS374,Star 2000 Diagnostic Syst…
  ☆15Oct 18, 2012Updated 13 years ago
• alexzeitgeist / YT2

  View on GitHub
  ☆10Mar 7, 2020Updated 5 years ago
• jclehner / ex2700

  View on GitHub
  Unlock your Netgear EX2700
  ☆10Oct 31, 2016Updated 9 years ago
• ethanp / Notes

  View on GitHub
  various collected notes, some copy/pasted from elsewhere, but mostly original
  ☆10Jun 28, 2016Updated 9 years ago
• Azure / azure-init

  View on GitHub
  A minimal provisioning agent designed for Azure Linux VMs.
  ☆15Feb 18, 2026Updated last week
• google / trix-auto-complete

  View on GitHub
  Plugin for autocomplete using trix editor
  ☆17Aug 18, 2017Updated 8 years ago
• cagdasc / Linux-I2C

  View on GitHub
  Linux I2C Legacy Library
  ☆16May 1, 2019Updated 6 years ago
• StreamOfRon / mastodon-kubernetes-terraform

  View on GitHub
  ☆12Jul 10, 2023Updated 2 years ago
• Rashed97 / proprietary_vendor_qcom_binaries

  View on GitHub
  Common Proprietary Qualcomm Binaries
  ☆10Dec 26, 2016Updated 9 years ago
• artificial-intelligence-hk / Tensorflow-Study-Group

  View on GitHub
  Slides and Exercises for TensorFlow Study Group
  ☆10May 9, 2017Updated 8 years ago
• imoseyon / leanKernel-note3

  View on GitHub
  ☆14Nov 4, 2015Updated 10 years ago
• PracticalSpaceFireworks / PracticalSpaceFireworks

  View on GitHub
  ModJam Entry: Fireworks but (hopefully) into space
  ☆11Nov 16, 2021Updated 4 years ago
• import-tiago / Retro-Gaming-Handheld

  View on GitHub
  Shaders, overlays, documentation, and a collection of information and utilities for personal use and needs.
  ☆11Sep 29, 2024Updated last year
• WerWolv / pwswdpp

  View on GitHub
  A modern C++ rewrite of the OpenDingux pwswd daemon
  ☆10Sep 4, 2020Updated 5 years ago
• sux13 / courses

  View on GitHub
  Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1
  ☆10Jan 9, 2015Updated 11 years ago
• kernelci / kernelci-pipeline

  View on GitHub
  Modular pipeline based on the KernelCI API
  ☆11Updated this week
• StrawsonDesign / rc_pilot

  View on GitHub
  Multirotor Flight Controller
  ☆10Aug 28, 2019Updated 6 years ago
• virt-s1 / rhel-edge

  View on GitHub
  RHEL for Edge Downstream CI and Test
  ☆11Updated this week
• prodigeni / freedombone

  View on GitHub
  A home internet server configuration for the BeagleBone Black, Raspberry Pi or Cubieboard
  ☆10Jun 16, 2014Updated 11 years ago
• HomerSp / EfsTools

  View on GitHub
  Command line tools for Qualcomm EFS file system
  ☆11Jan 16, 2020Updated 6 years ago
• dirtyfilthy / timos_packer

  View on GitHub
  Alcatel-Lucent SR/OS (TiMOS) Firmware Packer
  ☆11May 31, 2017Updated 8 years ago
• detule / linux-hexagon

  View on GitHub
  Linux kernel for Qualcomm's Hexagon processors
  ☆10Mar 14, 2013Updated 12 years ago
• machinekoder / asciidoc-sandbox

  View on GitHub
  A sandbox for my notes
  ☆10Dec 15, 2015Updated 10 years ago
• intel / intel-sdsi

  View on GitHub
  ☆48Nov 10, 2025Updated 3 months ago