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:

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 -

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