Configuring the Real-Time HAL

You can configure the Real-time HAL by editing the grub.cfg file accessible from <GRUB Drive>\boot\grub\ on the GRUB installed drive. The table below lists the configurable Real-time HAL settings.

Setting Default value Description

NumProc

 64

Sets the maximum number of processors/cores (x) to run. This value must be a integer in the range 1 to 64.
TickPeriod 100

Sets HAL Timer Period to x microseconds.

Note: Use caution when setting the HAL timer period below 20 microseconds. If the HAL timer period is set too low, it can inversely impact performance or cause your system to hang.

TickCompd 0

Select 1 to enable adjusting timer ticks based on CPU time stamp counter (TSC).

Select 0 without adjustment.
AcpiPwMgr 0

Select 1 to enable SMI mitigation by disabling ACPI power management.

Select 0 without disabling ACPI power management.
MultiIntLvl 1

Select 0 to use single interrupt level.

Select 1 to use multiple interrupt levels.

Select 2 to use two interrupt levels.
DisableRdt 0

Select 1 to ignore Intel RDT capability.

Select 0 to use Intel RDT capability.

PriorityCat

 0

Select 1 to enable cache allocation based on thread's priority.

Select 0 for flat cache allocation.
PriorityMba 0

Select 1 to enable memory bus throttling based on thread's priority.

Select 0 without memory bus throttling.
RemoveMemory 0 Removes memory (x MBs) from the total available memory that RTHAL/RTKernel can use.

TruncateMemory

0xFFFFFFFFFFFFFFFF Limits the amount of physical memory available to RTHAL/RTKernel. When you use this option, RTHAL/RTKernel ignores all memory at or above the specified physical address. Specify the address in bytes.
uart port@0x3F8

Select port@ for serial port debugging.

Select bdf@ for PCI serial device debugging.

Select mmio@ for MMIO device debugging.