blob: e35b76950f850ad3a05a1c34a9cdc38cc1b14678 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// ============================================================================
// 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
|
