// ============================================================================
// arch/aarch64/arch.cpp — AArch64 architecture-specific primitives
// ============================================================================

#include <kernel/arch.h>

namespace arch {

[[noreturn]] void halt() {
    for (;;) asm volatile("wfi");
}

const char* name() {
    return "AArch64";
}

} // namespace arch