/*
 * Copyright 2008-2010, François Revol, revol@free.fr. All rights reserved.
 * Copyright 2004-2007, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
 * Distributed under the terms of the MIT License.
 */


#include "smp.h"
#include "video.h"

#include <boot/menu.h>
#include <boot/platform/generic/text_menu.h>
#include <safemode.h>


void
platform_add_menus(Menu *menu)
{
        MenuItem *item;

        switch (menu->Type()) {
                case MAIN_MENU:
                        break;
                case SAFE_MODE_MENU:
                        break;
                default:
                        break;
        }
}


void
platform_update_menu_item(Menu *menu, MenuItem *item)
{
        platform_generic_update_text_menu_item(menu, item);
}


void
platform_run_menu(Menu *menu)
{
        platform_generic_run_text_menu(menu);
}


size_t
platform_get_user_input_text(Menu *menu, MenuItem *item, char *buffer,
        size_t bufferSize)
{
        return platform_generic_get_user_input_text(menu, item, buffer,
                bufferSize);
}