genode/repos/pc/src
Christian Helmuth 1a7ff195d9 pc_linux: enable EFI and EFI_STUB
With these options enabled comparative testing between pc_linux drivers
and bzImages becomes much easier on EFI-only machines. The impact on the
actual Genode drivers is minimal.
2023-07-14 12:06:31 +02:00
..
drivers pc_nic_drv: add R8169 driver 2023-07-14 12:06:31 +02:00
include/lx_emul pc_linux: update initcall order for pc_nic_drv 2023-07-14 12:06:31 +02:00
lib pc_linux: enable EFI and EFI_STUB 2023-07-14 12:06:31 +02:00
pc_linux pc_linux: enable EFI and EFI_STUB 2023-07-14 12:06:31 +02:00
test/framebuffer/intel dde_linux: move test/driver_time to virt_linux 2023-04-17 14:48:23 +02:00