A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
☆131Oct 29, 2019Updated 6 years ago
Alternatives and similar repositories for linux-devel
Users that are interested in linux-devel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆10Apr 4, 2024Updated last year
- Get kernel symbols on device. No jailbreak required (note: unslid addresses)☆28Aug 21, 2018Updated 7 years ago
- IDA AArch64 processor extender extension: Adding support for ARMv8.5 memory tagging extension opcodes☆27Jul 6, 2020Updated 5 years ago
- Enterprise Firmware platform development☆15Jun 6, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 5 years ago
- Repo for CLI to streamline workflows with jira + git by combining related actions into a single tool☆11Jun 28, 2020Updated 5 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Dec 14, 2017Updated 8 years ago
- System programming & Algorithm ― Linux programming☆14Feb 22, 2018Updated 8 years ago
- A simple nodejs server that acts as a keystore for Grandmaster.☆20Jan 12, 2020Updated 6 years ago
- newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly☆13Feb 26, 2015Updated 11 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- ☆13Nov 14, 2023Updated 2 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 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.
- C compiler written by C. inspired from 9cc https://github.com/rui314/9cc☆14Jan 5, 2019Updated 7 years ago
- An XNU kernel fuzz tool☆22Mar 3, 2010Updated 16 years ago
- Anatomy of a linux kernel development☆27Mar 30, 2017Updated 8 years ago
- A X11 based context/productivity tool written in V☆13Mar 12, 2023Updated 3 years ago
- Demo exploit code for CVE-2020-27904, a tfp0 bug.☆69Apr 29, 2021Updated 4 years ago
- IDA loader for SEP firmware with dyld cache support.☆69Aug 22, 2024Updated last year
- A virtio layer for xv6☆12Apr 16, 2019Updated 6 years ago
- Research into porting the XNU kernel to ARM devices.☆84Aug 14, 2020Updated 5 years ago
- Make C header files from C source files (create .h files from .c files)☆12Nov 16, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Пример руткита для ядра линукс 5☆19Dec 4, 2020Updated 5 years ago
- x86 assembler for DOS☆11Nov 10, 2019Updated 6 years ago
- A wrapper library around native windows sytem APIs☆10Dec 23, 2019Updated 6 years ago
- Combined kernel source code for the Samsung Galaxy G970F, G973F and G975F. Use in combination with Magisk and TWRP.☆10Nov 17, 2020Updated 5 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Feb 17, 2020Updated 6 years ago
- vm -- code interpreter☆25Apr 8, 2019Updated 6 years ago
- SEP firmware splitter, made in rust.☆45Oct 11, 2024Updated last year
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- A Benchmark Suite for Real-Time Robotics☆12May 3, 2023Updated 2 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.
- Writing a 32-bit Protected Mode OS in NASM☆13Jun 22, 2012Updated 13 years ago
- Documents and materials for CARET☆13Mar 18, 2026Updated last week
- minimal POSIX compliant sleep☆36Jan 28, 2022Updated 4 years ago
- Block Redo & Undo To Achieve Legacy IDA☆65Aug 1, 2019Updated 6 years ago
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 years ago
- Modular And Compositional analysis with KLEE Engine☆118Dec 17, 2019Updated 6 years ago
- Extract and generate code based on name and type for mig func/arg/request&reply member etc, ideal helper for creating monitor, tracker, f…☆19Jun 5, 2018Updated 7 years ago