search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 61 forks source link

settings: Disable timer tests for RocketChip #104

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 12 months ago

Closing https://github.com/seL4/sel4test/issues/98.