sysprogs / kgdboe
A network interface for GDB for Linux Kernel
☆63Updated last year
Related projects ⓘ
Alternatives and complementary repositories for kgdboe
- PCI device for qemu with mmio, pio, dma☆73Updated 7 years ago
- ☆14Updated last year
- PDFs of all the UEFI / EDK II presentations☆53Updated last year
- minivm based on kvm☆143Updated 5 months ago
- ☆65Updated 2 years ago
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆92Updated 10 years ago
- Linux UEFI Validation Distribution☆114Updated 3 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆79Updated 6 years ago
- 抽出KVM代码进行注释☆60Updated 6 years ago
- Repository for 《UEFI Pratical Programming》☆82Updated 2 years ago
- Kexec Tools: Userspace portion of Kexec☆62Updated this week
- Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/☆22Updated 2 years ago
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆29Updated 3 years ago
- Miscellaneous documents☆39Updated last month
- libpulp enables live patching in user space applications.☆56Updated last week
- An ongoing attempt to create own hypervisior from scratch in linux.☆48Updated 3 years ago
- Linux machine check injection tool☆30Updated last week
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 3 weeks ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆85Updated 7 years ago
- ☆89Updated 7 months ago
- using uefi☆46Updated 5 years ago
- ☆22Updated last year
- UEFI OVMF symbol load script for GDB☆21Updated 2 years ago
- Static Analyser for C☆102Updated this week
- Coresight Access Library☆112Updated last week
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 7 years ago
- virtio example front-end and back-end☆32Updated 5 years ago
- zhenghuadai.github.io☆147Updated 3 years ago
- ☆42Updated 3 months ago
- EDK II Driver Writer's Guide for development of UEFI Drivers☆63Updated 3 years ago