forked from mirrors/nixpkgs
7c995a4532
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. |
||
---|---|---|
.. | ||
guest-additions | ||
default.nix | ||
extpack.nix | ||
extra_symbols.patch | ||
hardened.patch | ||
qt-env-vars.patch | ||
qtx11extras.patch | ||
update.sh |