qemu / seabiosLinks
Mirror of git.qemu.org/seabios.git
☆65Updated 3 months ago
Alternatives and similar repositories for seabios
Users that are interested in seabios are comparing it to the libraries listed below
Sorting:
- UEFI app to load ELF and Raw binary☆29Updated 10 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆93Updated 4 years ago
- Mirror of git://qemu.org/capstone.git☆10Updated last month
- Tiny ELF loader☆135Updated 2 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- The x86_64 UEFI bootloader for rCore☆45Updated 2 years ago
- The core components of the L4Re operating system.☆87Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Mirror of git.qemu.org/openbios.git☆23Updated 8 months ago
- Kexec Tools: Userspace portion of Kexec☆70Updated 2 weeks ago
- ☆106Updated 6 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- A network interface for GDB for Linux Kernel☆69Updated last year
- Documentation for 3D commands on Virgl3D☆26Updated 6 years ago
- ☆19Updated 9 years ago
- my homebrew OS☆33Updated 4 years ago
- ☆67Updated 3 years ago
- Documentation and status of UEFI on RISC-V☆58Updated 3 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- minivm based on kvm☆150Updated 11 months ago
- Process virtualization based on KVM. More useable, stable and practical than Stanford Dune.☆21Updated 2 years ago
- Tweaks to Fabrice Bellard's TinyEMU☆131Updated last year
- The device tree library☆17Updated 5 months ago
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆30Updated 4 years ago
- 32bit OS/kernel built from scratch with POSIX.1 compliance☆36Updated 4 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- K42 Kernel☆27Updated 13 years ago
- ☆29Updated 9 years ago
- UEFI boot loader☆79Updated 2 years ago