Tutorial on making UEFI with CMake and VirtualBox/QEmu
☆24Jan 23, 2018Updated 8 years ago
Alternatives and similar repositories for uefiboot
Users that are interested in uefiboot are comparing it to the libraries listed below
Sorting:
- An intel x64/VT-x type 1 hypervisor☆13Feb 28, 2026Updated 3 weeks ago
- Learn linux via CTF-like manner☆12Dec 17, 2021Updated 4 years ago
- Scan USB host controllers and connections under UEFI☆10Mar 7, 2018Updated 8 years ago
- Capability-based exokernel for x86_64☆22Nov 26, 2016Updated 9 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…☆21Sep 13, 2022Updated 3 years ago
- UEFI bootloader stub☆15Dec 10, 2025Updated 3 months ago
- A small lightweight, scripting language☆13Sep 12, 2019Updated 6 years ago
- Command line tool to generate disk images containing GPT partition tables☆13Sep 28, 2023Updated 2 years ago
- LLVM backend for EFI Byte Code☆11Jul 14, 2019Updated 6 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Fork of jejb's efitools☆31Apr 10, 2020Updated 5 years ago
- An Multiboot Compliant X64 SMP Operating Systems☆13Oct 17, 2013Updated 12 years ago
- Using the Raspberry Pi Zero as a HID device☆12Aug 7, 2017Updated 8 years ago
- Embedded OS for IoT☆17May 12, 2021Updated 4 years ago
- A 64 bit OS☆10Nov 12, 2025Updated 4 months ago
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆19Mar 12, 2026Updated last week
- Some basic UEFI definitions and symbols exactly as definied by the UEFI spec, in the form of C++ headers to be used for writing C++ UEFI …☆14Sep 11, 2022Updated 3 years ago
- Simple demo of accessing System Management BIOS in UEFI environment.☆14Oct 13, 2020Updated 5 years ago
- Call arbitrary Windows kernel-mode functions from Python on another machine☆44Sep 17, 2021Updated 4 years ago
- Comparison table of VMX capabilities for a bunch of processors☆13Nov 3, 2020Updated 5 years ago
- x86_64, PE32+, FAT32 bootloader☆28Jul 4, 2021Updated 4 years ago
- Linux applications to manage, test and develop devices supporting DMTF Security Protocol and Data Model (SPDM)☆18Feb 6, 2026Updated last month
- 💧 A simple x86-64 kernel written in C☆20Jan 7, 2022Updated 4 years ago
- Python library for controlling UEFI variables in Windows.☆36Feb 16, 2023Updated 3 years ago
- Nim wrapper for the NanoVG vector graphics library for OpenGL☆29Aug 16, 2025Updated 7 months ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆41Oct 27, 2020Updated 5 years ago
- Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models☆55Jan 12, 2021Updated 5 years ago
- ♉toro-C-Library for UEFI x86-64 target platform for Microsoft Visual Studio 2022. Sourcecode included.☆30Updated this week
- A Type-1 Hypervisor written in Modern C++☆44Aug 2, 2023Updated 2 years ago
- A custom Cards Against Humanity generator☆13May 16, 2024Updated last year
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- PoC that measures how long it takes the CPU to execute the CPUID instruction and reports if it suspects a VM. Works on both Windows and L…☆26Sep 11, 2020Updated 5 years ago
- Running Windows HostProcess Pods in a mixed Kubernetes cluster☆15Nov 6, 2021Updated 4 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Jun 30, 2021Updated 4 years ago
- The imported original svn-converted code of the spamgourmet.com website☆10Sep 3, 2019Updated 6 years ago
- A hypervisor written in Rust.☆133Feb 12, 2022Updated 4 years ago
- Tiny immediate-mode UI library☆11Jun 8, 2019Updated 6 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Oct 21, 2021Updated 4 years ago
- A RISC-V system simulator with VGA, UART, memory, and JTAG debugging, interconnected with SystemC/TLM, designed with operating systems an…☆16Apr 21, 2020Updated 5 years ago