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";<[email protected]>;
Date: Thu, Aug 24, 2017 10:00 AM
To: "devel"<[email protected]>;
Subject: Devel Digest, Vol 39, Issue 26
Send Devel mailing list submissions to
[email protected]
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
[email protected]
You can reach the person managing the list at
[email protected]
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 ([email protected])
----------------------------------------------------------------------
Message: 1
Date: Thu, 24 Aug 2017 00:00:19 +0000
From: <[email protected]>
To: <[email protected]>
Subject: Re: [seL4] about camkesvm
Message-ID: <[email protected]>
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 <[email protected]> on behalf of talos <[email protected]>
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
[email protected]
https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 39, Issue 26
*************************************_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
