Hi
I changed it to:
../init-build.sh -DPLATFORM=sabre -DCROSS_COMPILER_PREFIX=arm-none-eabi-
-DCAMKES_APP=adder -DSIMULATE=1 -Dc_std=gnu99
and it worked for ninja build.
But when started simulation by ./simulate
the error is:
qemu-system-arm: -kernel images/capdl-loader-image-arm-imx6: unsupported
machine type
Use -machine help to list supported machines
How could I choose the machine type? Thanks!
Sincerely
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
