Julian Stecklina 7c995a4532 virtualbox: build BIOS from C instead of alternative sources ... VirtualBox ships with "alternative BIOS sources" for its virtual BIOS. These are generated by first compiling the BIOS C sources with the Open Watcom toolchain, disassembling the output and checking in the disassembly into the VirtualBox repo. The result means that the BIOS C code cannot be patched, because it's not compiled from the C sources, if Open Watcom is not there. As Open Watcom is now available in nixpkgs, we can just ignore the alternative BIOS sources and compile it from C directly.		2020-04-28 13:36:50 +02:00
..
guest-additions	virtualbox: 6.1.4 -> 6.1.6	2020-04-19 14:04:17 +02:00
default.nix	virtualbox: build BIOS from C instead of alternative sources	2020-04-28 13:36:50 +02:00
extpack.nix	virtualbox: 6.1.4 -> 6.1.6	2020-04-19 14:04:17 +02:00
extra_symbols.patch	virtualbox: 6.0.14 -> 6.1.4	2020-03-13 22:36:31 +00:00
hardened.patch	virtualbox: 6.0.14 -> 6.1.4	2020-03-13 22:36:31 +00:00
qt-env-vars.patch
qtx11extras.patch
update.sh	virtualbox: add update script	2020-04-19 14:03:58 +02:00