Hi Chris， How is the vmm progress of zcu102？ In addition, I would like to ask you another question： Nio released a unveils operating system SkyOs recently，The 1 refers to SkyOS-H, which is a hypervisor that supports multi-operating system requirements in the cockpit and autonomous driving domains, and provides a secure base, according to the company. Did you know that this is based on sel4？
Thanks Best Regards
发件人: "An,Jianjun" anjianjun01@baidu.com 日期: 2023年9月10日 星期日 13:57 收件人: Chris Guikema Chris.Guikema@dornerworks.com, "devel@sel4.systems" devel@sel4.systems 抄送: "Kou,Haofeng" kouhaofeng@baidu.com 主题: Re: Sel4 VMM on zcu102
Hi Chris， Got it. Looking forward to your good news
发件人: Chris Guikema Chris.Guikema@dornerworks.com 日期: 2023年9月8日 星期五 03:03 收件人: "An,Jianjun" anjianjun01@baidu.com, "devel@sel4.systems" devel@sel4.systems 主题: Re: Sel4 VMM on zcu102
The zcu102 has a quirk where Linux will perform SMC instructions to configure hardware resources during the boot process. This bypasses the seL4 kernel and executes commands at EL3. This kills the worst-case execution time guarantees, so they need to be avoided at all costs. They can also be used to turn cores on or off, which is problematic.
DornerWorks implemented a solution where SMC calls are trapped to seL4 and handled by the VMM. Since some of these calls are necessary for Linux to boot, a new SMC capability is created which when invoked, will have the seL4 kernel perform only the SMC commands it has been configured to run. Most of these changes have recently been merged, which means an upstream-compatible zcu102 configuration can be released.
I should be able to create the PRs within the next week, and I can ping you when its ready.
From: An,Jianjun via Devel devel@sel4.systems Date: Tuesday, September 5, 2023 at 5:28 PM To: devel@sel4.systems devel@sel4.systems Subject: [seL4] Sel4 VMM on zcu102 CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
Hi I have run sel4 on the development board of zcu102. I found on the official website that the camkes-vm project does not support the platform zcu102. Could you please give me some guidance to make the functions of this vmm run and run a linux on the guest.
Thanks
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems