Openwide-Ingenierie / GreenThreads-UEFILinks
Simple (green) threads for UEFI
☆25Updated 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☆81Updated 2 years ago
- A Type-1 hypervisor aimed to implement kernel hotswapping☆30Updated last year
- Tutorial on making UEFI with CMake and VirtualBox/QEmu☆23Updated 7 years ago
- ♉toro-C-Library for UEFI x86-64 target platform for Microsoft Visual Studio 2022. Sourcecode included.☆27Updated 2 months ago
- An object-oriented wrapper to the UEFI specification.☆19Updated 8 years ago
- Viewer for IFR structures☆19Updated 5 years ago
- PICO processes toolbox, playground for PICO processes research☆74Updated 8 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
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆93Updated 5 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Updated 4 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 7 years ago
- UEFI Hypervisor☆21Updated 9 years ago
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆63Updated last year
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 8 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆115Updated last year
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 3 years ago
- An example of Windows NT Native API application and kernel driver☆21Updated 5 years ago
- Unicorn Engine port for UEFI firmware☆48Updated 8 months 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…☆36Updated 8 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
- Simple demo of accessing System Management BIOS in UEFI environment.☆14Updated 5 years ago
- x86_64, PE32+, FAT32 bootloader☆26Updated 4 years ago
- An EFI Byte Code (EBC) assembler, based on fasmg☆44Updated 2 years ago
- Extended Length Disassembler Engine for x86-64 (1337 bytes in size)☆53Updated 6 years ago
- A Linux based Windows compatible user mode kernel☆59Updated 16 years ago
- A micro hypervisor for running micro VMs☆266Updated last year
- Intel Kernel Guard Technology Core Repo☆56Updated last year
- Python library for controlling UEFI variables in Windows.☆36Updated 2 years ago
- ☆29Updated 5 years ago