#ifndef BIOS_MENU_H #define BIOS_MENU_H extern popup_entry_t boot_seq[]; extern void make_menus(form_t *form); #endif //BIOS_MENU_H