// Copyright 2021 Nicolas Druoton (druotoni)
// SPDX-License-Identifier: GPL-2.0-or-later
#pragma once
bool render_boot(void);
void render_halt(void);
void reset_boot(void);