search

seL4 / sel4test

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

disable timer test for Quartz64 #83

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

According to the comment in https://github.com/seL4/util_libs/pull/117 there is no ltimer implementation available. This change should avoid the need for https://github.com/seL4/ci-actions/pull/236

Test with: seL4/seL4#727, seL4/util_libs#117

axel-h commented 1 year ago

The rv64imac issues are fixed now, this was just due to the PRs related here needed rebasing to get all the latest changes related to this platform.