@@ -68,6 +68,7 @@ default help:
@echo " opensbi32-generic -- update OpenSBI for 32-bit generic machine"
@echo " opensbi64-generic -- update OpenSBI for 64-bit generic machine"
@echo " qboot -- update qboot"
+ @echo " hppa-firmware -- update 32- and 64-bit hppa firmware"
@echo " clean -- delete the files generated by the previous" \
"build targets"
@@ -177,6 +178,11 @@ npcm7xx_bootrom:
$(MAKE) -C vbootrom CROSS_COMPILE=$(arm_cross_prefix)
cp vbootrom/npcm7xx_bootrom.bin ../pc-bios/npcm7xx_bootrom.bin
+hppa-firmware:
+ $(MAKE) -C seabios-hppa parisc
+ cp seabios-hppa/out/hppa-firmware.img ../pc-bios/
+ cp seabios-hppa/out-64/hppa-firmware64.img ../pc-bios/
+
clean:
rm -rf seabios/.config seabios/out seabios/builds
$(MAKE) -C ipxe/src veryclean
@@ -189,3 +195,4 @@ clean:
$(MAKE) -C opensbi clean
$(MAKE) -C qboot clean
$(MAKE) -C vbootrom clean
+ $(MAKE) -C seabios-hppa clean