Thanks for the quick answers!
Indeed, the error messages were not an issue. I was able to build some VMs
and initrd, but I'm not sure how to launch them... E.g., when I build the
optiplex9020 VM:
$ ../init-build.sh -DCAMKES_VM_APP=optiplex9020 -DPLATFORM=x86_64
-DSIMULATION=TRUE -DSIMULATE=1
$ ninja
$ qemu-system-x86_64 -cpu
Nehalem,-vme,+pdpe1gb,+xsave,-xsaveopt,-xsavec,+fsgsbase,-invpcid,enforce
-nographic -serial mon:stdio -m size=512M -kernel
images/kernel-x86_64-pc99 -initrd images/capdl-loader-image-x86_64-pc99
I get the following error:
"Requested feature mask is 0x3, but only 0x0 supported
seL4 called fail at
/home/blepers/git.clone/sel4vm/kernel/src/arch/x86/kernel/boot_sys.c:785 in
function boot_sys, saying "boot_sys failed for some reason :("
Any idea why?
(The SIMULATION and SIMULATE flags do not seem to have an effect, I just
added them because in some projects that seem to create a "simulate" file
with the right qemu parameters. I'm not sure what's the right way to create
an image that runs in qemu here.)
Thanks,
Baptiste.
On Wed, Oct 3, 2018 at 9:55 AM <[email protected]> wrote:
> Hi Baptiste,
>
>
> Aside from running a Linux guest, we do not currently have a native shell.
> The x86 VM should work though.
>
>
> Cheers
>
> Anna.
>
>
> ------------------------------
> *From:* Devel <[email protected]> on behalf of Baptiste Lepers <
> [email protected]>
> *Sent:* Thursday, 27 September 2018 2:28 PM
> *To:* [email protected]
> *Subject:* [seL4] Does seL4 provide an initrd with a shell?
>
> I have been following the instructions "Fetching, Configuring and Building
> seL4test" on this page https://docs.sel4.systems/GettingStarted.html.
> Everything seems to work, but the initrd provided only runs a bunch of
> tests and then exits. Is there another project that provides a shell or a
> way for me to launch my own programs?
>
> I have tried to follow the instructions on these pages
> https://docs.sel4.systems/Hardware/Qemu/ and
> https://docs.sel4.systems/CAmkESVM but the repo init command fails (404).
>
> Thanks,
> Baptiste.
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
