Working on Ubuntu, I have built the seL4Test project for RISCV64. I
think. At least, there were no build errors.
I have qemu-system-riscv64 installed. But when I get to the ./simulate
command, all I get is an echo of "Unsupported platform or architecture
I configured this test as follows:
../init-build.sh -DPLATFORM=hifive -DRELEASE=FALSE -DSIMULATION=TRUE
After the 'ninja' command completes, in the images/ directory there is a
6.6MB file named sel4test-driver-image-riscv-hifive which I am guessing
is the resulting image to run, though qemu is not impressed by it,
saying that the image format is not specified.
Maybe I am just not finding the instructions on how to run this, or what
'simulate' WOULD have contained, had things been working as I expect.
Or the complete qemu command line to run it.
Show replies by date