// 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);