7 Aug
2018
7 Aug
'18
5:25 p.m.
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
7 Aug
7 Aug
5:55 p.m.
New subject: camkes-project error
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(a)sel4.systems> on behalf of talos
<2486580938(a)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
8 Aug
8 Aug
11:21 a.m.
New subject: camkes-project error
My qemu version is 2.5.0, I will upgrade it, and take a try, thank you for
you reply.
<Kent.Mcleod(a)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(a)sel4.systems> on behalf of talos <
2486580938(a)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(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
1425
days inactive
1426
days old
2 comments
3 participants
participants (3)
-
Kent.Mcleod＠data61.csiro.au -
talos -
wong xuguo