*** empty log message ***

[palacios.git] / palacios / src / vmboot / rombios / Makefile

diff --git a/palacios/src/vmboot/rombios/Makefile b/palacios/src/vmboot/rombios/Makefile
index 1d16fb2..c42eaaf 100644 (file)
--- a/palacios/src/vmboot/rombios/Makefile
+++ b/palacios/src/vmboot/rombios/Makefile
@@ -22,6 +22,16 @@ BIOS-bochs-latest: rombios.c biossums
        ./biossums BIOS-bochs-latest
        rm -f _rombios_.s
 
+BIOS-bochs-latest.elf: rombios.c biossums
+       gcc -DBX_SMP_PROCESSORS=1 -E -P $< > _rombios_elf.c
+       bcc -o rombios_elf.s -C-c -D__i86__ -0 -S _rombios_elf.c
+       sed -e 's/^\.text//' -e 's/^\.data//' rombios_elf.s > _rombios_elf.s
+       as86 _rombios_elf.s  -u- -w- -g -0 -j -O -l rombios_elf.txt
+       -perl makesym.perl < rombios_elf.txt > rombios_elf.sym
+       mv tmp.bin BIOS-bochs-latest.elf
+       ./biossums BIOS-bochs-latest.elf
+#      rm -f _rombios_.s
+
 biossums: biossums.c
        gcc -o biossums biossums.c