Issues
- 6
early boot
#59 opened by xiaolongwu01 - 6
[BUG] If the TSC info is missing, the Linux kernel will attempt to use the PIT
#48 opened by rianquinn - 2
boxy fails to compile
#51 opened - 0
- 0
Remove UART from the VMM
#14 opened by rianquinn - 0
Remove Serial from Linux Config
#15 opened by rianquinn - 0
Add vconsole device (single byte, readonly)
#16 opened by rianquinn - 0
Virtual IRQs
#12 opened by rianquinn - 0
Virtual CPUID Enumeration
#13 opened by rianquinn - 0
ELF support in bfbuilder/bfexec
#10 opened by rianquinn - 0
Virtual Clock
#11 opened by rianquinn - 0
Finish README
#41 opened by rianquinn - 0
Signed EFI version of Bareflank
#39 opened by rianquinn - 0
- 0
PCI Pass-through Support
#34 opened by rianquinn - 0
Create custom version of EFI shim
#35 opened by rianquinn - 0
Have shim signed by Microsoft
#36 opened by rianquinn - 0
Update build system to digitally sign the EFI binary when it is done compiling
#37 opened by rianquinn - 0
- 0
Linux (RPM) installer
#32 opened by rianquinn - 0
Linux (DEB) Installer
#33 opened by rianquinn - 0
Virtual Network Device
#30 opened by rianquinn - 0
Sign Windows drivers
#31 opened by rianquinn - 0
Integrate buildroot into build system
#27 opened by rianquinn - 0
Test buildroot filesystems
#28 opened by rianquinn - 0
Virtual Block Device
#29 opened by rianquinn - 0
Unittest workqueue
#23 opened by rianquinn - 0
Create vblock device in Linux
#24 opened by rianquinn - 0
Add block device support to bfexec
#25 opened by rianquinn - 0
Provide mechanism for converting a CPIO to EXT4
#26 opened by rianquinn - 0
Virtual Console
#20 opened by rianquinn - 0
Draft workqueue/return design
#21 opened by rianquinn - 0
Complete workqueue
#22 opened by rianquinn - 0
Remove ttyprintk from Linux Config
#18 opened by rianquinn - 0
Swap the vconsole and ttyprintk in initrd
#19 opened by rianquinn - 2
Unknown CMake command "add_config"
#45 opened by fintelia