@ -22,18 +22,9 @@
config = ./coreboot.config ;
config = ./coreboot.config ;
coreboot-toolchain = with final . coreboot-toolchain ; [ x64 i386 ] ;
coreboot-toolchain = with final . coreboot-toolchain ; [ x64 i386 ] ;
} ) . overrideAttrs ( a : {
} ) . overrideAttrs ( a : {
# KGPE has an FMAP region "BIOS" which overlaps the whole flash;
# this is needed for some kind of protection mechanism in the
# SMBIOS. Unfortunately it causes flashrom to choke. So we have
# to feed flashrom a `flashrom.layout` file instead of letting it
# use the FMAP.
postInstall = ( a . postInstall or " " ) + ''
postInstall = ( a . postInstall or " " ) + ''
cp src/mainboard/asus/kgpe-d16/cmos.layout $ out /
cp src/mainboard/asus/kgpe-d16/cmos.layout $ out /
cp src/mainboard/asus/kgpe-d16/cmos.default $ out /
cp src/mainboard/asus/kgpe-d16/cmos.default $ out /
cat > $ out/flashrom.layout < < \ EOF
00000400 : 0 0 7 fffff NORMAL
00800400 : 0 0 ffffff FALLBACK
EOF
'' ;
'' ;
} ) ;
} ) ;
} ) ;
} ) ;