My qemu version is 2.5.0, I will upgrade it, and take a try, thank you for you reply.
<kent.mcl...@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 < > 2486580...@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 >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
