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

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

My qemu version is 2.5.0, I will upgrade it, and take a try, thank you for you reply. <Kent.Mcleod@data61.csiro.au> 于2018年8月7日周二 下午3:59写道:
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
participants (3)
-
Kent.Mcleod@data61.csiro.au
-
talos
-
wong xuguo