1 /* 2 * Copyright 2016 Haiku, Inc. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 6 7 #include <boot/menu.h> 8 #include <boot/platform/generic/text_menu.h> 9 10 #include "efi_platform.h" 11 12 13 void 14 platform_add_menus(Menu *menu) 15 { 16 // No platform specific menus 17 } 18 19 20 void 21 platform_update_menu_item(Menu *menu, MenuItem *item) 22 { 23 platform_generic_update_text_menu_item(menu, item); 24 } 25 26 27 void 28 platform_run_menu(Menu *menu) 29 { 30 platform_generic_run_text_menu(menu); 31 } 32 33 34 size_t 35 platform_get_user_input_text(Menu *menu, MenuItem *item, char *buffer, 36 size_t bufferSize) 37 { 38 return platform_generic_get_user_input_text(menu, item, buffer, 39 bufferSize); 40 } 41