9.RISC-V 服务器标准化之路：UEFI 启动、Boot 和 Runtime Services.pdf

《9.RISC-V 服务器标准化之路：UEFI 启动、Boot 和 Runtime Services.pdf》由会员分享，可在线阅读，更多相关《9.RISC-V 服务器标准化之路：UEFI 启动、Boot 和 Runtime Services.pdf（10页珍藏版）》请在三个皮匠报告上搜索。

1、Presenter:Zhen Liu&Evan Chai AgendaUEFI boot&SCTFormal Verification of SBI ACPI Spec v6.6 was ratifiedBRS Spec v0.9 is in public reviewServer Platform Spec v0.6 is WIPRISC-V SBI Spec v3.0 is almost ratifiedSmmtt Spec v0.3.6 is WIPCooperation in the BRS test suiteRisc Server Cluster and Subsequent Pl

2、ansThe Progress of RISC-V Firmware in CommunityHardware/QemuUEFIACPISMBIOSSBI(OpenSBI)UEFI-SCTFWTSRISC-V OSSBI-testRV BRS TESTMSUUEFIUEFI Specification v2.10UEFI PI Specification v1.8.0Smbios Specification v3.7.0ACPI Specification v6.6Device Tree Specification v0.4riscv-sbi spec v2ProfileUEFIACPI（in

3、g）DTSBISMBIOS（ing）BRS-L=RVA20=2.106.6optional,=v0.3=2.0=3.7.0(ing)BRS-B=RVA20EBBR,=2.1.0 optional,=6.6optional,=v0.3=2.0optional,=3.7.0https:/ u-boot limitation0%skipped3%spurious0%unknowns0%warnings0%passdroppedfaliuresignoredknown u-boot limitationskippedspuriousunknownswarningspass93%dropped3%fal

4、iures0%ignored0%known u-boot limitation0%skipped2%spurious2%unknowns0%warnings0%passdroppedfaliuresignoredknown u-boot limitationskippedspuriousunknownswarningsThe UEFI Self-Certification Test(UEFI SCT):A toolset for platform developers to validate firmware implementation compliance to the UEFI Spec

5、ificationlMode switching requires security requirements lThe function calls are tight lThere is no method for verification of the RISC-V SBI firmware lThe SBI standard is open sourceSBI系统调用SBI S/M/U Mode switchingExample:Formal verification of security softwareFormal verification methodsRISC-V SBI H

6、ierarchical verification frameworkRISC-V SBI formal verification flowchartlHardware abstract simulation strategylThe unified privilege level and theoretical interfacelHierarchical and top-down closed-loop verificationSeSBI:The first SBI fir