make all:
	make -C ../../tests/imperas-riscv-tests/
	make -C ../../tests/wally-riscv-arch-test/
	make -C XLEN=32 ../../tests/wally-riscv-arch-test/
	exe2memfile.pl ../../tests/wally-riscv-arch-test/work/*/*/*.elf
	cd ../../tests/linux-testgen/linux-testvectors/;./tvLinker.sh