1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/*****************************************************************************
* 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);
|
