intel / KVMGT-seabios
☆19Updated 2 years ago
Alternatives and similar repositories for KVMGT-seabios:
Users that are interested in KVMGT-seabios are comparing it to the libraries listed below
- ☆25Updated 9 years ago
- ☆41Updated 10 years ago
- The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…☆9Updated 8 years ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- Linux kernel patch static verification tool☆25Updated 2 weeks ago
- Mirror of git.qemu.org/openbios.git☆22Updated 6 months ago
- Documentation for 3D commands on Virgl3D☆26Updated 5 years ago
- Generic library for reporting various problems☆31Updated last month
- Patches to GCC necessary for supporting musl.☆22Updated 9 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- ☆15Updated 8 years ago
- ☆31Updated 8 months ago
- The raw sources of a porting attempt of a 20150730 snapshot of Android init to GNU/Linux☆13Updated 9 years ago
- Kernel ISO build tool is a simple utility to create bootable image from supplied kernel.☆11Updated 9 years ago
- Virtio draft specification☆65Updated 11 years ago
- Userspace helper for uvesafb.☆22Updated 10 years ago
- Portable C Compiler (CVS mirror)☆12Updated 12 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- kexec-tools with hardboot support for MultiROM☆20Updated 8 months ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated 2 weeks ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- UEFI boot loader☆79Updated 2 years ago
- Out-of-tree version of Linux' kconfig tool☆15Updated 9 months ago
- Test suite for device mapper targets☆23Updated 2 weeks ago
- ☆19Updated 11 months ago
- Library for getting information about running processes☆11Updated 9 years ago
- Reference Operating system based on seL4 --- example code☆21Updated last week
- work in progress ports of linuxboot for various mainboards☆21Updated 2 years ago