Dear seL4 developers,
I am trying to setup a stack of QEMU, seL4, CAmkES and a Linux VM. I am following the tutorial on "https://docs.sel4.systems/Tutorials/camkes-vm-linux.html" and also the example on "https://github.com/seL4/camkes-vm-examples".
I am running in different errors depending on which path I follow.
The machine is an old MacBook Pro (running Linux, exact specs are in the main log file).
- Main log file: "intel.log", contains steps and workflows
- Tests: All tests seem to pass. - CAmkES VM - Tutorial Version: doesn't start QEMU because of unsupported host flags (warnings) or some failing script - CAmkES VM - Example Version: seems to boot into seL4 or even the Linux VM, but fails because of some memory error
Does this look familiar to you?
Best regards,
Cedric Maire
=============================================================================== The ICRC - working to protect and assist people affected by armed conflict and other situations of violence. Find out more: www.icrc.org
This e-mail is intended for the named recipient(s) only. Its contents are confidential and may only be retained by the named recipient (s) and may only be copied or disclosed with the consent of the International Committee of the Red Cross (ICRC). If you are not an intended recipient please delete this e-mail and notify the sender. ===============================================================================
Hi Cedric, thank you for reaching out to us,
I could replicate the error and I'm currently investigating the issue. I will let you know if/when it's fixed.
Best regards, Sylvain Gauthier. ________________________________ From: Devel devel-bounces@sel4.systems on behalf of Cedric MAIRE cmaire@icrc.org Sent: Friday, August 7, 2020 12:00 AM To: devel@sel4.systems devel@sel4.systems Subject: [seL4] QEMU, seL4, CAmkES and Linux VM - Insufficient Memory
Dear seL4 developers,
I am trying to setup a stack of QEMU, seL4, CAmkES and a Linux VM. I am following the tutorial on "https://docs.sel4.systems/Tutorials/camkes-vm-linux.html" and also the example on "https://github.com/seL4/camkes-vm-examples".
I am running in different errors depending on which path I follow.
The machine is an old MacBook Pro (running Linux, exact specs are in the main log file).
- Main log file: "intel.log", contains steps and workflows
- Tests: All tests seem to pass. - CAmkES VM - Tutorial Version: doesn't start QEMU because of unsupported host flags (warnings) or some failing script - CAmkES VM - Example Version: seems to boot into seL4 or even the Linux VM, but fails because of some memory error
Does this look familiar to you?
Best regards,
Cedric Maire
=============================================================================== The ICRC - working to protect and assist people affected by armed conflict and other situations of violence. Find out more: www.icrc.orghttp://www.icrc.org
This e-mail is intended for the named recipient(s) only. Its contents are confidential and may only be retained by the named recipient (s) and may only be copied or disclosed with the consent of the International Committee of the Red Cross (ICRC). If you are not an intended recipient please delete this e-mail and notify the sender. ===============================================================================
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Dear Sylvain,
Thank you for the reply. I replicated the same errors on a different machine (Lenovo, exact details in log file). Seems like these issues are not unique to Macbooks. Hope this may help in some way.
Best,
Cedric
From: Gauthier, Sylvain (Data61, Kensington NSW) Sylvain.Gauthier@data61.csiro.au Sent: mercredi, 12 août 2020 02:44 To: Cedric MAIRE cmaire@icrc.org; devel@sel4.systems Subject: Re: QEMU, seL4, CAmkES and Linux VM - Insufficient Memory
Hi Cedric, thank you for reaching out to us,
I could replicate the error and I'm currently investigating the issue. I will let you know if/when it's fixed.
Best regards, Sylvain Gauthier. ________________________________ From: Devel <devel-bounces@sel4.systemsmailto:devel-bounces@sel4.systems> on behalf of Cedric MAIRE <cmaire@icrc.orgmailto:cmaire@icrc.org> Sent: Friday, August 7, 2020 12:00 AM To: devel@sel4.systemsmailto:devel@sel4.systems <devel@sel4.systemsmailto:devel@sel4.systems> Subject: [seL4] QEMU, seL4, CAmkES and Linux VM - Insufficient Memory
Dear seL4 developers,
I am trying to setup a stack of QEMU, seL4, CAmkES and a Linux VM. I am following the tutorial on "https://docs.sel4.systems/Tutorials/camkes-vm-linux.html?mc_phishing_protect..." and also the example on "https://github.com/seL4/camkes-vm-examples".
I am running in different errors depending on which path I follow.
The machine is an old MacBook Pro (running Linux, exact specs are in the main log file).
- Main log file: "intel.log", contains steps and workflows
- Tests: All tests seem to pass. - CAmkES VM - Tutorial Version: doesn't start QEMU because of unsupported host flags (warnings) or some failing script - CAmkES VM - Example Version: seems to boot into seL4 or even the Linux VM, but fails because of some memory error
Does this look familiar to you?
Best regards,
Cedric Maire
=============================================================================== The ICRC - working to protect and assist people affected by armed conflict and other situations of violence. Find out more: www.icrc.orghttp://www.icrc.org/?mc_phishing_protection_id=28048-bspjobn0s0v9mjll0e70
This e-mail is intended for the named recipient(s) only. Its contents are confidential and may only be retained by the named recipient (s) and may only be copied or disclosed with the consent of the International Committee of the Red Cross (ICRC). If you are not an intended recipient please delete this e-mail and notify the sender. ===============================================================================
_______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel?mc_phishing_protection_id=28048-bs...
=============================================================================== The ICRC - working to protect and assist people affected by armed conflict and other situations of violence. Find out more: www.icrc.org
This e-mail is intended for the named recipient(s) only. Its contents are confidential and may only be retained by the named recipient (s) and may only be copied or disclosed with the consent of the International Committee of the Red Cross (ICRC). If you are not an intended recipient please delete this e-mail and notify the sender. ===============================================================================
-
Cedric MAIRE -
Gauthier, Sylvain (Data61, Kensington NSW)