/* * Copyright (c) 2021, Nico Weber * * SPDX-License-Identifier: BSD-2-Clause */ #include #include extern "C" [[noreturn]] void init(); extern "C" [[noreturn]] void init() { Prekernel::MainIdRegister id; [[maybe_unused]] unsigned part_num = id.part_num(); for (;;) { } } // FIXME: Share this with the Intel Prekernel. extern size_t __stack_chk_guard; size_t __stack_chk_guard;