/* SPDX-License-Identifier: LicenseRef-Starship-1.0
 * Copyright (c) 2023-2026 Robert A. James
 */
/* sk_v4_stop.h -- the v4 kernel's fatal stop (#177): what sk_v4_run does when the system cannot
 * go on ("not started", "did not let go of POST's blocks", "stopped on a fault"). Never returns.
 */
#ifndef STARKERNEL_V4_SK_V4_STOP_H
#define STARKERNEL_V4_SK_V4_STOP_H

void sk_v4_stop(void) __attribute__((noreturn));

#endif