christoph/fail-targets
1
Fork 0
Code Releases Activity

Added Bochs BIOS/vgabios.bin

Browse Source
This commit is contained in:
Christian Dietrich
2014-10-22 13:31:31 +02:00
parent a6cf7ce0bb
commit 6b7c5dd88d
3 changed files with 2 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
BIOS-bochs-latest Normal file
View File

Binary file not shown.

11
Makefile
View File

@ -1,26 +1,19 @@
all: main/system.iso all: main/system.iso
%/system.elf: %/system.o startup.o %/system.elf: %/system.o startup.o
gcc -Wl,-T linker.ld $^ -m32 -static -nostdlib -Wl,--build-id=none -o $@
%/system.o: %.c %/system.o: %.c
mkdir -p $(shell dirname $@)
gcc $< -o $@ -O2 -std=c11 -m32 -c -ffunction-sections
startup.o: startup.s startup.o: startup.s
gcc startup.s -m32 -c -o startup.o -ffunction-sections gcc startup.s -m32 -c -o startup.o -ffunction-sections
%/system.iso: %/system.elf %/system.iso: %/system.elf
rm -rf $(shell dirname $<)/grub
mkdir -p $(shell dirname $<)/grub/boot/grub
cp grub.cfg $(shell dirname $<)/grub/boot/grub
cp $< $(shell dirname $<)/grub/boot/system.elf
grub-mkrescue -o $@ $(shell dirname $<)/grub
trace-%: %/system.elf %/system.iso trace-%: %/system.elf %/system.iso
python bochs-experiment-runner.py -e $< -i $(shell dirname $<)/system.iso -1 \ python bochs-experiment-runner.py -e $< -i $(shell dirname $<)/system.iso -1 \
-f /proj/i4ciao/tools/fail/fail-x86-tracing -- \ -f /proj/i4ciao/tools/fail/fail-x86-tracing -- \
-V vgabios.bin - b BIOS-bochs-latest \
-Wf,--start-symbol=os_main \ -Wf,--start-symbol=os_main \
-Wf,--save-symbol=os_main \ -Wf,--save-symbol=os_main \
-Wf,--end-symbol=stop_trace \ -Wf,--end-symbol=stop_trace \
@ -31,7 +24,7 @@ import-%: %/trace.pb
import-trace -t $< -i mem -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b mem import-trace -t $< -i mem -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b mem
import-trace -t $< -i regs -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b regs --flags import-trace -t $< -i regs -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b regs --flags
import-trace -t $< -i regs -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b ip --no-gp --ip import-trace -t $< -i regs -e $(shell dirname $<)/system.elf -v $(shell dirname $<) -b ip --no-gp --ip
import-trace -v $(shell dirname $<) -b %% prune-trace -v $(shell dirname $<) -b %%
# Do never remove implicitly generated stuff # Do never remove implicitly generated stuff

BIN
vgabios.bin Normal file
View File

Binary file not shown.