Merge pull request #88570 from JJJollyjim/qboot-2020

qboot: 20170330 -> 20200423
This commit is contained in:
Florian Klink 2020-05-24 19:48:57 +02:00 committed by GitHub
commit dc351baa44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,18 +1,20 @@
{ stdenv, fetchFromGitHub }: { stdenv, meson, ninja, fetchFromGitHub }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "qboot-20170330"; name = "qboot-20200423";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "bonzini"; owner = "bonzini";
repo = "qboot"; repo = "qboot";
rev = "ac9488f26528394856b94bda0797f5bd9c69a26a"; rev = "de50b5931c08f5fba7039ddccfb249a5b3b0b18d";
sha256 = "0l83nbjndin1cbcimkqkiqr5df8d76cnhyk26rd3aygb2bf7cspy"; sha256 = "1d0h29zz535m0pq18k3aya93q7lqm2858mlcp8mlfkbq54n8c5d8";
}; };
nativeBuildInputs = [ meson ninja ];
installPhase = '' installPhase = ''
mkdir -p $out mkdir -p $out
cp bios.bin* $out/. cp bios.bin bios.bin.elf $out/.
''; '';
hardeningDisable = [ "stackprotector" "pic" ]; hardeningDisable = [ "stackprotector" "pic" ];