FreeRTOS has supported AARCH64?

Hi Guys

I have simple question.
Has FreeRTOS kernel supprt AArch64?
I didn’t find whether support AArch64 from this FreeRTOS offcial-page.

Yes, FreeRTOS can support AArch64.

Here is the port for the ARM Cortex-A53 64-bit processor: https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/d43062ba7862f6c354ca414b411958ce12a7187f/portable/GCC/ARM_CA53_64_BIT

Thank you very much for prompt reply.
I will confirm it.

And in case you are using the newer version of GIC, you can use this port -https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V10.6.1/portable/GCC/ARM_CA53_64_BIT_SRE

Thank you very much for your information.
I will confirm it.