Alpha
-----
alpha-unknown-elf-gcc -I../../src/include/testmachine -g		\
	disk.c -c -o disk_alpha.o
alpha-unknown-elf-ld -Ttext 0x10000 -e f disk_alpha.o -o disk_alpha
file disk_alpha
gxemul -d disk.img -E testalpha disk_alpha


ARM
---
arm-unknown-elf-gcc -I../../src/include/testmachine -g disk.c -c -o disk_arm.o
arm-unknown-elf-ld -e f disk_arm.o -o disk_arm
file disk_arm
gxemul -d disk.img -E testarm disk_arm


MIPS (64-bit)
-------------
mips64-unknown-elf-gcc -I../../src/include/testmachine -g -DMIPS	\
	disk.c -mips4 -mabi=64 -c -o disk_mips.o
mips64-unknown-elf-ld -Ttext 0xa800000000030000 -e f			\
	disk_mips.o -o disk_mips --oformat=elf64-bigmips
file disk_mips
gxemul -d disk.img -E testmips disk_mips


MIPS (32-bit)
-------------
mips64-unknown-elf-gcc -I../../src/include/testmachine -g -DMIPS	\
	disk.c -mips1 -mabi=32 -c -o disk_mips.o
mips64-unknown-elf-ld -Ttext 0x80030000 -e f				\
	disk_mips.o -o disk_mips
file disk_mips
gxemul -d disk.img -E testmips -C R3000 disk_mips


PPC (64-bit)
------------
TODO


PPC (32-bit)
------------
ppc-unknown-elf-gcc -I../../src/include/testmachine -g disk.c -c -o disk_ppc.o
ppc-unknown-elf-ld -e f disk_ppc.o -o disk_ppc
file disk_ppc
gxemul -d disk.img -E testppc -C PPC750 disk_ppc

