riscv-brs/brs_tests.adoc at main · riscv-non-isa/riscv-brs · GitHub

194 lines (163 loc) · 5.32 KB

BRS Test Specification

Hart Requirements

ID#	Algorithm
`ME_HR_010_010`	For each application processor hart: Determine the ISA string for that hart from RHCT table if ACPI was used riscv,isa-base and riscv,isa-extensions nodes if DT was used Parse the ISA string and verify that all mandatory extensions in `RVA20S64` profile cite:[Profile] are supported. Verify that the ISA string matches that of hart 0. Report the ISA string of hart 0 into the test output log.

SBI Requirements

ID#	Algorithm
`ME_SBI_010_010`	. Get the SBI version by sbi_get_sbi_spec_version(). . Verify that the version is v2.0 or later. . Report the version into the test output log.
`ME_SBI_020_010`	. See `ME_SBI_010_010`. . Probe the presence of HSM extension by sbi_probe_extension(). . Verify that the result is true.
`OE_SBI_030_010`	. If Sstc extension was present(See `ME_HR_010_010`) .. Report Sstc was present and Skip the test. . Else .. Probe the presence of TIME extension by sbi_probe_extension(). .. Verify that the result is true.
`OE_SBI_040_010`	. If Ssaia extension was present(See `ME_HR_010_010`) .. Report Ssaia was present and Skip the test. . Else .. Probe the presence of sPI extension by sbi_probe_extension(). .. Verify that the result is true.
`OE_SBI_050_010`	. If Ssaia extension was present(See `ME_HR_010_010`) .. Report Ssaia was present and Skip the test. . Else .. Probe the presence of RFNC extension by sbi_probe_extension(). .. Verify that the result is true.
`OE_SBI_060_010`	. If Smcsrind,Sscsrind,Smcdeleg,Ssccfg extensions were present(See `ME_HR_010_010`). .. Report Smcsrind,Sscsrind,Smcdeleg,Ssccfg was present and Skip the test. . Else .. Probe the presence of PMU extension by sbi_probe_extension(). .. Verify that the result is true.
`OE_SBI_070_010`	. If ACPI is used and the ACPI SPCR table references Interface Type 0x15 .. Probe the presence of DBCN extension by sbi_probe_extension(). .. Verify that the result is true. . Else .. Report DBCN is not mandatory in this configuration and skip the test.

BRS-I UEFI Requirements

ID#	Algorithm
`ME_UEFI_010_010`	FIXME.
`ME_UEFI_020_010`	FIXME.
`ME_UEFI_030_010`	FIXME.
`OE_UEFI_040_010`	FIXME.
`OE_UEFI_050_010`	FIXME.
`ME_UEFI_060_010`	FIXME.
`ME_UEFI_070_010`	FIXME.
`ME_UEFI_070_010`	FIXME.

BRS-I UEFI Security Requirements

ID#	Algorithm
`OE_USEC_010_010`	FIXME.
`OE_USEC_020_010`	FIXME.
`OE_USEC_030_010`	FIXME.
`OE_USEC_040_010`	FIXME.
`OE_USEC_050_010`	FIXME.

BRS-I UEFI IO Requirements

ID#	Algorithm
`OE_UIO_010_010`	FIXME.
`OE_UIO_020_010`	FIXME.

BRS-I UEFI Runtime Service Requirements

ID#	Algorithm
`OE_URT_010_010`	FIXME.
`OE_URT_020_010`	FIXME.
`ME_URT_030_010`	FIXME.
`ME_URT_040_010`	FIXME.
`ME_URT_050_010`	FIXME.

BRS-I UEFI Firmware Update Requirements

ID#	Algorithm
`OE_UFU_010_010`	FIXME.
`OE_UFU_020_010`	FIXME.
`OE_UFU_030_010`	FIXME.
`OE_UFU_040_010`	FIXME.

BRS-I ACPI Requirements

ID#	Algorithm
`ME_ACPI_010_010`	FIXME.
`ME_ACPI_020_010`	FIXME.
`ME_ACPI_030_010`	FIXME.
`OE_ACPI_040_010`	FIXME.
`OE_ACPI_050_010`	FIXME.
`OE_ACPI_060_010`	FIXME.

BRS-I ACPI Methods and Objects Requirements

ID#	Algorithm
`ME_AML_010_010`	FIXME.
`OE_AML_020_010`	FIXME.
`OE_AML_030_010`	FIXME.
`ME_AML_040_010`	FIXME.
`OE_AML_050_010`	FIXME.
`ME_AML_060_010`	FIXME.
`OE_AML_070_010`	FIXME.
`OE_AML_080_010`	FIXME.
`ME_AML_090_010`	FIXME.
`ME_AML_100_010`	FIXME.

SMBIOS Requirements

ID#	Algorithm
`OE_SMBIOS_010_010`	FIXME
`ME_SMBIOS_020_010`	FIXME
`OE_SMBIOS_030_010`	FIXME
`OE_SMBIOS_040_010`	FIXME
`OE_SMBIOS_050_010`	FIXME
`OE_SMBIOS_060_010`	FIXME
`OE_SMBIOS_070_010`	FIXME
`OE_SMBIOS_080_010`	FIXME
`OE_SMBIOS_090_010`	FIXME
`ME_SMBIOS_100_010`	FIXME
`OE_SMBIOS_110_010`	FIXME