#ifndef MENU_H__
#define MENU_H__
#include "boot/boot.h"
void menu_run (boot_params_t *boot_params);
#endif