sel4test icon indicating copy to clipboard operation
sel4test copied to clipboard

Published 20 hours ago • verified publisher icon seL4

settings: Disable timer tests for RocketChip

Open Ivan-Velickovic opened this issue 1 year ago • 0 comments

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

Ivan-Velickovic avatar Oct 23 '23 04:10 Ivan-Velickovic