/* * Copyright (c) 2024, Sönke Holz <sholz8530@gmail.com> * * SPDX-License-Identifier: BSD-2-Clause */ #pragma once namespace Kernel { [[noreturn]] void halt(); }