real-xinu / xkdbView external linksLinks
Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends
☆23May 16, 2021Updated 4 years ago
Alternatives and similar repositories for xkdb
Users that are interested in xkdb are comparing it to the libraries listed below
Sorting:
- ♉toro-C-Library for UEFI x86-64 target platform for Microsoft Visual Studio 2022. Sourcecode included.☆30Dec 14, 2025Updated 2 months ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated last year
- A Hobbyist Operating System based off the ReactOS/NT Kernel experimenting with OS Development.☆29Jul 29, 2012Updated 13 years ago
- ChaiOS: Chai Operating System. Multiplatform, visual studio (but adaptable to other compilers).☆20Jan 20, 2016Updated 10 years ago
- ☆11Updated this week
- --DEPRECATED--. Use other top level repository under IntellectualHeaven.☆42Jan 30, 2015Updated 11 years ago
- ☆10Sep 10, 2025Updated 5 months ago
- The simple C/C++ library for hexapod (Robot spider with 6 legs) on Arduino.☆13Dec 27, 2018Updated 7 years ago
- UEFI app to load ELF and Raw binary☆31May 5, 2015Updated 10 years ago
- A versatile and easy-to-use static binary patching tool.☆54Sep 16, 2025Updated 4 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆41Dec 6, 2018Updated 7 years ago
- Implementation of an X86 mini OS from scratch. Reference: https://github.com/yyu/osfs00☆11Jan 9, 2023Updated 3 years ago
- A web based URDF visualizer using three.js☆20Nov 15, 2022Updated 3 years ago
- A 64 bit OS☆10Nov 12, 2025Updated 3 months ago
- operating system☆19May 6, 2021Updated 4 years ago
- ☆11Oct 10, 2024Updated last year
- hardware tools for the BayTrail (BYT) platform and other platforms☆11Sep 10, 2023Updated 2 years ago
- ☆10Sep 12, 2022Updated 3 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- Unix-like x86-64 hobby Operating System with X11, GCC, Vim, and more☆11Feb 5, 2026Updated last week
- x64dbg plugin to log executions☆16Aug 28, 2023Updated 2 years ago
- ECSS Services for UPSat☆12Dec 17, 2018Updated 7 years ago
- My WIP bin, various interesting open-source work in progress☆11Aug 2, 2021Updated 4 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆11Nov 24, 2020Updated 5 years ago
- Manycore platform Simulation tool for NoC-based platform at a Cycle-accurate level☆11Feb 22, 2018Updated 7 years ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 9 months ago
- s390/s390x ABI specification☆14Sep 17, 2025Updated 4 months ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- An operating system.☆30Dec 6, 2017Updated 8 years ago
- ☆22Feb 2, 2026Updated last week
- VS extension that adds some handy features to the DGML editor☆20Sep 27, 2025Updated 4 months ago
- Another hexapod-robot approach this time controlled with ROS and visualized in real time with RViz☆10Jan 24, 2026Updated 3 weeks ago
- Windows Server 2K3 NT 5☆12Apr 17, 2021Updated 4 years ago
- An operating system from scratch.☆12Oct 17, 2022Updated 3 years ago
- hobby OS☆12Sep 29, 2015Updated 10 years ago
- A "little", "minimalist", x86 Operating System.☆12Mar 10, 2021Updated 4 years ago