FreeRTOS for x86_64 machines

Hi All, Total beginner question … Can FreeRTOS be installed on a x86_64 machine? If not, what would be the alternative? Steph

FreeRTOS for x86_64 machines

There is an IA32 port, but the only 64-bit port is to an ARM chip.