Ehmry - dba4d80779 tests: add vmm_x86 test		2020-04-26 10:48:38 +05:30
..
cxx-align.patch	Prefer Genode Labs packages from depot builds	2020-04-08 21:22:52 +05:30
default.nix	tests: consolidate rtc and pci into x86 test	2020-04-26 10:47:13 +05:30
openssl.patch	Prefer Genode Labs packages from depot builds	2020-04-08 21:22:52 +05:30
ports.nix	Apply iasl patch to virtualbox	2020-04-09 23:37:36 +05:30
sandbox.patch	init/sandbox: patch in <routes> support	2020-04-25 17:39:15 +05:30
svn-trust-server-cert.patch	Prefer Genode Labs packages from depot builds	2020-04-08 21:22:52 +05:30
targets.nix	tests: add vmm_x86 test	2020-04-26 10:48:38 +05:30
test-pci.patch	tests: consolidate rtc and pci into x86 test	2020-04-26 10:47:13 +05:30
test-vmm_x86.patch	tests: add vmm_x86 test	2020-04-26 10:48:38 +05:30
toolchain.nix	Prefer Genode Labs packages from depot builds	2020-04-08 21:22:52 +05:30
vbox5-iasl.patch	Apply iasl patch to virtualbox	2020-04-09 23:37:36 +05:30