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
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
Hi Chris，
Got it. Looking forward to your good news
发件人: Chris Guikema
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"
Hi，
I found a document on the Internet, I added to the attachment, which uses zcu102 to test the performance of linux based on sel4 hypervisor, did you know how they successfully run the linux system？
Thanks
Best Regards
发件人: "An,Jianjun"
participants (2)
-
An,Jianjun -
Chris Guikema