Skip to content

settings: Disable timer tests for RocketChip#104

Merged
lsf37 merged 2 commits intoseL4:masterfrom Ivan-Velickovic:disable_rocketchip_timer_testsJun 16, 2024

Commits

Commits on Oct 23, 2023