search

seL4 / sel4test

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

settings: Disable timer tests for RocketChipZCU102 #102

Closed Furao closed 1 year ago

Furao commented 1 year ago

The ltimer is not implemented for the rocket chip that runs on the ZCU102 FPGA. This disables the timer tests so sel4test can be built and run on this platform.

Helps fix issue: https://github.com/seL4/seL4/issues/1078