#ifndef __MENU_H__
#define __MENU_H__
#include <stdbool.h>
#include <stdnoreturn.h>
noreturn void menu(bool timeout_enabled);
noreturn void boot(char *config);
char *config_entry_editor(const char *title, const char *orig_entry);
#endif