>>>>> "talos" == talos <[email protected]> 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";<[email protected]>; Date: Thu, Aug talos> 24, 2017 10:00 AM To: "devel"<[email protected]>; talos> Subject: Devel Digest, Vol 39, Issue 26 talos> Send Devel mailing list submissions to [email protected] 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> [email protected] talos> You can reach the person managing the list at talos> [email protected] 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 ([email protected]) talos> ---------------------------------------------------------------------- talos> Message: 1 Date: Thu, 24 Aug 2017 00:00:19 +0000 From: talos> <[email protected]> To: <[email protected]> talos> Subject: Re: [seL4] about camkesvm Message-ID: talos> <[email protected]> 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 <WHATEVER_RAM_SIZE_YOU_WANT> -kernel talos> <SEL4_KERNEL_IMAGE> -initrd <CAPDL_INITRD_IMAGE> talos> And tell me what happens? Sorry for the inconvenience. talos> -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO talos> ________________________________ From: Devel talos> <[email protected]> on behalf of talos talos> <[email protected]> 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-0001.html> talos> ------------------------------ talos> Subject: Digest Footer talos> _______________________________________________ Devel mailing talos> list [email protected] 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) _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
