2012-03-14 07:57:58 +01:00
|
|
|
{ stdenv, edk2 }:
|
|
|
|
|
|
2012-03-14 08:29:11 +01:00
|
|
|
let
|
|
|
|
|
|
|
|
|
|
targetArch = if stdenv.isi686 then
|
|
|
|
|
"Ia32"
|
|
|
|
|
else if stdenv.isx86_64 then
|
|
|
|
|
"X64"
|
|
|
|
|
else
|
|
|
|
|
throw "Unsupported architecture";
|
|
|
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation (edk2.setup "OvmfPkg/OvmfPkg${targetArch}.dsc" {
|
2014-02-04 00:32:21 +01:00
|
|
|
name = "OVMF-2014-02-01";
|
2012-03-14 07:57:58 +01:00
|
|
|
|
2012-03-14 23:43:07 +01:00
|
|
|
unpackPhase = ''
|
|
|
|
|
for file in \
|
|
|
|
|
"${edk2.src}"/{OvmfPkg,UefiCpuPkg,MdeModulePkg,IntelFrameworkModulePkg,PcAtChipsetPkg,FatBinPkg,EdkShellBinPkg,MdePkg,ShellPkg,OptionRomPkg,IntelFrameworkPkg};
|
|
|
|
|
do
|
|
|
|
|
ln -sv "$file" .
|
|
|
|
|
done
|
2012-03-14 07:57:58 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
|
description = "Sample UEFI firmware for QEMU and KVM";
|
|
|
|
|
homepage = http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=OVMF;
|
|
|
|
|
license = "BSD";
|
|
|
|
|
maintainers = [ stdenv.lib.maintainers.shlevy ];
|
|
|
|
|
platforms = ["x86_64-linux" "i686-linux"];
|
|
|
|
|
};
|
|
|
|
|
})
|
