Files

16 lines
249 B
C++

/*
* Copyright (c) 2024, Sönke Holz <[email protected]>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <Kernel/Prekernel/Prekernel.h>
namespace Kernel {
void populate_firmware_boot_info(BootInfo* boot_info);
}