#ifndef BOOTSELECT_MENU
#define BOOTSELECT_MENU

extern int return_value;
extern void make_bootselect_menu(form_t *form);
extern void boot_establish(void);

#endif // BOOTSELECT_MENU