real-xinu / xkdbLinks
Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends
☆21Updated 4 years ago
Alternatives and similar repositories for xkdb
Users that are interested in xkdb are comparing it to the libraries listed below
Sorting:
- 3dof hexapod firmware sources (arduino) + remote control sources (android)☆17Updated 9 years ago
- Multi-architecture hobby operating system kernel created in C☆16Updated 6 months ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- NOTE: this repository has been deprecated in favor of https://github.com/projectasiago/asiago☆11Updated 8 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- ELF reader-writer library for Python3☆66Updated 2 years ago
- A Jupyter kernel for an ARM assembly intrepreter☆21Updated 3 years ago
- LLVM backend for EFI Byte Code☆11Updated 6 years ago
- Some basic UEFI definitions and symbols exactly as definied by the UEFI spec, in a form of C++ headers to be used for writing C++ UEFI ap…☆13Updated 3 years ago
- it's popular to keep reference lists on github☆13Updated 3 years ago
- University of Queensland Binary Translation framework☆26Updated 6 years ago
- Pure Python Itanium C++ ABI demangler☆37Updated 3 years ago
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆29Updated 4 years ago
- QEMU port for ARCv2 Processors☆13Updated last month
- UEFI Reference Specification Protocol Constants and Definitions☆41Updated 6 years ago
- An ELF loader for embedded systems.☆160Updated 7 years ago
- 🔱 A WIP SMP-aware micro-kernel☆10Updated 3 months ago
- waccOS, an operating system kernel written in WACC.☆12Updated 6 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆28Updated 7 years ago
- Repository containing all UEFI development I am doing☆13Updated 9 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Updated 2 years ago
- Tutorial on making UEFI with CMake and VirtualBox/QEmu☆22Updated 7 years ago
- A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…☆21Updated 3 years ago
- Basic tools for building seL4 projects☆51Updated 3 months ago
- uefi bootloader and kernel for x64☆16Updated 9 months ago
- ☆12Updated 8 years ago
- Identifying/Extracting various sections of an ELF file☆160Updated 5 years ago
- Homebrew x64 OS written in C++ that runs Doom!☆46Updated 2 months ago
- Tutorials for working with seL4 and/or CAmkES.☆55Updated 4 months ago
- Snowman decompiler☆14Updated 2 years ago