2020-06-05 20:27:52 +02:00
|
|
|
#ifndef __MENU_H__
|
|
|
|
|
#define __MENU_H__
|
|
|
|
|
|
2021-11-28 22:30:05 +01:00
|
|
|
#include <stdbool.h>
|
|
|
|
|
|
2021-12-11 15:34:30 +01:00
|
|
|
__attribute__((noreturn))
|
|
|
|
|
void menu(bool timeout_enabled);
|
2020-06-05 20:27:52 +02:00
|
|
|
|
2021-12-11 22:22:48 +01:00
|
|
|
__attribute__((noreturn))
|
|
|
|
|
void boot(char *config);
|
|
|
|
|
|
|
|
|
|
char *config_entry_editor(const char *title, const char *orig_entry);
|
|
|
|
|
|
2020-06-05 20:27:52 +02:00
|
|
|
#endif
|
