/* SPDX-License-Identifier: GPL-2.0+ *//* * halt.c - stop the core, the ARM ARM's WFI loop. nothing recovers * from a halt, the machine needs a reset. * * Copyright (C) 2026 Bradley Morgan <brads@mainlining.org> */#include<debug.h>voidplatform_halt(void){dprintf(ALWAYS,"HALT: spinning forever...\n");for(;;){asmvolatile("wfi");}}