nuttx/arch/arm64
qinwei1 d5c6b8a94b arm64: add 64-bit time for all arm64 platform
Summary
  For ARM64 architecture, the arch timer is 64-bit,
the CONFIG_SYSTEM_TIME64 need to be enabled just like
x86_64 and risc-v 64

Signed-off-by: qinwei1 <qinwei1@xiaomi.com>
2023-03-01 13:23:48 +08:00
..
include sched/addrenv: Remove up_addrenv_restore 2023-02-08 02:51:23 +08:00
src arm64: add 64-bit time for all arm64 platform 2023-03-01 13:23:48 +08:00
Kconfig arm64: ARMv8-r(Cortex-R82) support(add ARCH_SET_VMPIDR_EL2 option) 2023-03-01 13:23:48 +08:00