"talos" == talos <2486580938@qq.com> writes:
talos> Dear, I used
talos> "qemu-system-i386 -m 1024 -kernel images/kernel-ia32-pc99 -initrd images/capdl-loader-experimental-image-ia32-pc99"
talos> "Booting from ROM" Thanks, Sincerely
You need to get the output from the serial device, not the graphical
device. Try adding `-nographic' to the qemu command line to get
serial output to stdout.
qemu-system-i386 -m 1024 -nographic -kernel images/kernel-ia32-pc99 -initrd images/capdl-loader-experimental-image-ia32-pc9
talos> ------------------ Original ------------------ From:
talos> "devel-request";; Date: Thu, Aug
talos> 24, 2017 10:00 AM To: "devel";
talos> Subject: Devel Digest, Vol 39, Issue 26
talos> Send Devel mailing list submissions to devel@sel4.systems
talos> To subscribe or unsubscribe via the World Wide Web, visit
talos> https://sel4.systems/lists/listinfo/devel or, via email, send a
talos> message with subject or body 'help' to
talos> devel-request@sel4.systems
talos> You can reach the person managing the list at
talos> devel-owner@sel4.systems
talos> When replying, please edit your Subject line so it is more
talos> specific than "Re: Contents of Devel digest..."
talos> Today's Topics:
talos> 1. Re: about camkesvm (Kofidoku.Atuah@data61.csiro.au)
talos> ----------------------------------------------------------------------
talos> Message: 1 Date: Thu, 24 Aug 2017 00:00:19 +0000 From:
talos> To:
talos> Subject: Re: [seL4] about camkesvm Message-ID:
talos> <1503532819201.94096@data61.csiro.au> Content-Type: text/plain;
talos> charset="iso-8859-1"
talos> Hey Talos,
talos> Sorry we didn't make this clearer on that page: those
talos> defconfigs build an x86-pc image; not an ARM image. Could you
talos> try running Qemu again, but with something similar to,
talos> qemu-system-i386 -m -kernel
talos> -initrd
talos> And tell me what happens? Sorry for the inconvenience.
talos> -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
talos> ________________________________ From: Devel
talos> on behalf of talos
talos> <2486580938@qq.com> Sent: 22 August 2017 15:39 To: devel
talos> Subject: [seL4] about camkesvm
talos> Hi I started the tutorial following the link:
talos> https://wiki.sel4.systems/CAmkESVM I used "make
talos> minimal_defconfig" substituting "make
talos> cma34cr_minimal_defconfig" for int the directory config there
talos> is minimal_defconfig then make and qemu-system-arm -M kzm
talos> -nographic -kernel
talos> images/capdl-loader-experimental-image-ia32-pc99 but the error
talos> is Segmentation fault (core dumped) what's wrong? Thanks
talos> Sincerely -------------- next part -------------- An HTML
talos> attachment was scrubbed... URL:
talos> http://sel4.systems/pipermail/devel/attachments/20170824/cd4992b3/attachment...
talos> ------------------------------
talos> Subject: Digest Footer
talos> _______________________________________________ Devel mailing
talos> list Devel@sel4.systems
talos> https://sel4.systems/lists/listinfo/devel
talos> ------------------------------
talos> End of Devel Digest, Vol 39, Issue 26
talos> *************************************
--
Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/
Trustworthy Systems Group Data61 (formerly NICTA)
