7cbfcd26a26533e5a7fe9f659e03ba459de74d42
This timer is the one we're supposed to use all along, but QEMU doesn't support it for now, so we keep the ARM internal timers around if needed. These timers shouldn't be used since they aren't memory-mapped and thus unsuitable for MINIX 3 (for the user-mapped page).
Description
No description provided