Does "qemu-system-arm -machine help" list sabrelite? Otherwise you may need to update your version of Qemu.  I have 2.12.0​ which works.

Kent

---

From: Devel <devel-bounces@sel4.systems> on behalf of talos <2486580938@qq.com>
Sent: Tuesday, August 7, 2018 5:25 PM
To: devel
Subject: Re: [seL4] camkes-project error

 

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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel