/*
 * @author  xamidev <xamidev@riseup.net>
 * @brief   Boot routines
 * @license GPL-3.0-only
 */

#ifndef BOOT_H
#define BOOT_H

#include <kernel.h>

void populate_boot_context(struct boot_context* boot_ctx);

#endif