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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
