The eRTOS Real-Time HAL (RTHAL) component provides high-resolution clocks and timers for eRTOS (except setting up processors/cores to run in IA-32e 64-bit sub-mode); and various enhancements for determinism.
You can configure the Real-time HAL through the grub.cfg file.
