src/tests/kernel/arch/aarch64