Openwide-Ingenierie / GreenThreads-UEFILinks
Simple (green) threads for UEFI
☆24Updated 8 years ago
Alternatives and similar repositories for GreenThreads-UEFI
Users that are interested in GreenThreads-UEFI are comparing it to the libraries listed below
Sorting:
- EFI Byte Code Virtual Machine in userspace☆79Updated 2 years ago
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆61Updated last year
- Unicorn Engine port for UEFI firmware☆46Updated 4 months ago
- PICO processes toolbox, playground for PICO processes research☆74Updated 7 years ago
- A Type-1 hypervisor aimed to implement kernel hotswapping☆29Updated last year
- UEFI Hypervisor☆21Updated 9 years ago
- Tutorial on making UEFI with CMake and VirtualBox/QEmu☆21Updated 7 years ago
- UEFI UEFI UEFI☆40Updated 2 years ago
- Lightweight x86-64 instruction length disassembler (LDE)☆28Updated 2 years ago
- Internal library providing platform independent types, macros and a fallback for environments without LibC.☆105Updated last month
- A c++20 constexpr x86 assembler☆58Updated 4 years ago
- Viewer for IFR structures☆19Updated 5 years ago
- The Bareflank Processor Abstraction Layer☆38Updated 2 years ago
- x86_64, PE32+, FAT32 bootloader☆25Updated 4 years ago
- Lightweight x86-64 disassembling library☆43Updated 2 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆49Updated 2 years ago
- ♉toro-C-Library for UEFI x86-64 target platform for Microsoft Visual Studio 2022. Sourcecode included.☆25Updated last week
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆94Updated 4 years ago
- Extended Length Disassembler Engine for x86-64 (1337 bytes in size)☆52Updated 6 years ago
- bareflank based hypervisor with guest support☆60Updated 4 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Updated 3 years ago
- Simple demo of accessing System Management BIOS in UEFI environment.☆14Updated 4 years ago
- LLVM backend for EFI Byte Code☆11Updated 6 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…