/* 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>

void platform_halt(void)
{
	dprintf(ALWAYS, "HALT: spinning forever...\n");

	for (;;) {
		asm volatile("wfi");
	}
}