Norman Feske 15780a657c sd_card_bench.run: allow timer to reach IO_MEM
This is needed on seL4 on i.MX6 where the user-level timer driver
accesses memory-mapped I/O registers directly.
2021-03-12 12:09:17 +01:00
..
2019-01-14 12:33:57 +01:00
2020-04-17 12:53:57 +02:00
2021-03-12 12:01:36 +01:00
2020-04-17 12:40:13 +02:00
2021-02-23 12:07:17 +01:00
2021-02-23 12:07:18 +01:00