u-boot/board/MAI/menu/cmd_menu.c

#include <common.h>
#include <command.h>
#include <cmd_menu.h>

int do_menu( cmd_tbl_t *cmdtp, /*bd_t *bd,*/ int flag, int argc, char *argv[] )
{
//    printf("<NOT YET IMPLEMENTED>\n");
    return 0;
}