Hi<br>I started the tutorial following the link:<br>https://wiki.sel4.systems/CAmkESVM<br>I used "make minimal_defconfig" substituting "make cma34cr_minimal_defconfig" for int the directory config there is minimal_defconfig<br>then make and qemu-system-arm -M kzm -nographic -kernel images/capdl-loader-experimental-image-ia32-pc99<br>but the error is <br>Segmentation fault (core dumped)<br>what's wrong? Thanks<br>Sincerely<br>