Dear, I used "qemu-system-i386 -m 1024 -kernel images/kernel-ia32-pc99 -initrd images/capdl-loader-experimental-image-ia32-pc99" It showed "Booting from ROM" Thanks, Sincerely
------------------ Original ------------------ From: "devel-request";devel-request@sel4.systems; Date: Thu, Aug 24, 2017 10:00 AM To: "devel"devel@sel4.systems;
Subject: Devel Digest, Vol 39, Issue 26
Send Devel mailing list submissions to devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: about camkesvm (Kofidoku.Atuah@data61.csiro.au)
----------------------------------------------------------------------
Message: 1 Date: Thu, 24 Aug 2017 00:00:19 +0000 From: Kofidoku.Atuah@data61.csiro.au To: devel@sel4.systems Subject: Re: [seL4] about camkesvm Message-ID: 1503532819201.94096@data61.csiro.au Content-Type: text/plain; charset="iso-8859-1"
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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://sel4.systems/pipermail/devel/attachments/20170824/cd4992b3/attachment-0001.html
------------------------------
Subject: Digest Footer
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 39, Issue 26 *************************************