| /***************************************************************************** |
| * Boot menu definitions |
| * |
| * Copyright 2017 Red Hat, Inc. |
| * |
| * This program and the accompanying materials |
| * are made available under the terms of the BSD License |
| * which accompanies this distribution, and is available at |
| * http://www.opensource.org/licenses/bsd-license.php |
| * |
| * Contributors: |
| * Thomas Huth, Red Hat Inc. - initial implementation |
| *****************************************************************************/ |
| |
| extern void bootmenu(void); |