Hey Talos,


Sorry we didn't make this clearer on that page: those defconfigs build an x86-pc image; not an ARM image. Could you try running Qemu again, but with something similar to,

qemu-system-i386 -m <WHATEVER_RAM_SIZE_YOU_WANT> -kernel <SEL4_KERNEL_IMAGE> -initrd <CAPDL_INITRD_IMAGE>

And tell me what happens? Sorry for the inconvenience.

-- 
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO

From: Devel <devel-bounces@sel4.systems> on behalf of talos <2486580938@qq.com>
Sent: 22 August 2017 15:39
To: devel
Subject: [seL4] about camkesvm
 
Hi
I started the tutorial following the link:
https://wiki.sel4.systems/CAmkESVM
I used "make minimal_defconfig" substituting "make cma34cr_minimal_defconfig" for int the directory config there is minimal_defconfig
then make and qemu-system-arm -M kzm -nographic -kernel images/capdl-loader-experimental-image-ia32-pc99
but the error is
Segmentation fault (core dumped)
what's wrong? Thanks
Sincerely