2020-06-05 21:27:52 +03:00
|
|
|
#ifndef __MENU_H__
|
|
|
|
#define __MENU_H__
|
|
|
|
|
2021-11-29 00:30:05 +03:00
|
|
|
#include <stdbool.h>
|
2021-12-31 12:58:05 +03:00
|
|
|
#include <stdnoreturn.h>
|
2021-11-29 00:30:05 +03:00
|
|
|
|
2021-12-31 12:58:05 +03:00
|
|
|
noreturn void menu(bool timeout_enabled);
|
2020-06-05 21:27:52 +03:00
|
|
|
|
2021-12-31 12:58:05 +03:00
|
|
|
noreturn void boot(char *config);
|
2021-12-12 00:22:48 +03:00
|
|
|
|
|
|
|
char *config_entry_editor(const char *title, const char *orig_entry);
|
|
|
|
|
2020-06-05 21:27:52 +03:00
|
|
|
#endif
|