-
Notifications
You must be signed in to change notification settings - Fork 29
Open
Labels
sbsaServer Base System Architecture ACS specific issues/enhancements/questions.Server Base System Architecture ACS specific issues/enhancements/questions.
Description
SBSA ACS currently does not implement a test for SBSA rule RS_L5TI_01, which mandates a 1 GHz effective system counter frequency for Level ≥5 systems.
Current Implementation Status
In test_pool/timer/t001.c:
B_TIME_02:
- Verifies minimum counter frequency (>10 MHz) as per BSA requirement
- Logs the counter frequency
- Does not validate the 1 GHz SBSA requirement
As clarified:
• The effective frequency must be 1 GHz regardless of FEAT_CNTSC scaling
• CNTFRQ_EL0 should be used to validate the effective (OS-visible) frequency
• CNTFID0 should be used to validate the minimum frequency (timer resolution)
Therefore:
• CNTFRQ_EL0 → Validate effective frequency (must be 1 GHz)
• CNTFID0 → Validate minimum frequency (BSA resolution requirement)
Proposed Changes
- Add New ACS Test for RS_L5TI_01
• Read CNTFRQ_EL0 from Non-secure world.
• Fail if: CNTFRQ_EL0 != 1 GHz - Maintain Proper Separation of Responsibilities
• B_TIME_02 → Continue validating minimum counter resolution (≥10 MHz) using CNTFID0.
• New RS_L5TI_01 test → Validate 1 GHz effective frequency using CNTFRQ_EL0.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
sbsaServer Base System Architecture ACS specific issues/enhancements/questions.Server Base System Architecture ACS specific issues/enhancements/questions.