Skip to content

Add ACS Test Coverage for RS_L5TI_01 (System Counter 1GHz Requirement) #252

@gowthamsiddarthd

Description

@gowthamsiddarthd

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

  1. Add New ACS Test for RS_L5TI_01
    • Read CNTFRQ_EL0 from Non-secure world.
    • Fail if: CNTFRQ_EL0 != 1 GHz
  2. 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.

Metadata

Metadata

Assignees

Labels

sbsaServer Base System Architecture ACS specific issues/enhancements/questions.

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions