···58 };
5960 xen_4_8-vanilla = callPackage ./4.8.nix {
61- # At the very least included seabios and etherboot need gcc49,
62- # so we have to build all of it with gcc49.
63- stdenv = overrideCC stdenv gcc49;
64-65 meta = {
66 description = "vanilla";
67 longDescription = ''