debian/grub-extras/disabled/gpxe/src/include/gpxe/shell.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef _GPXE_SHELL_H
#define _GPXE_SHELL_H

/** @file
 *
 * Minimal command shell
 *
 */

FILE_LICENCE ( GPL2_OR_LATER );

extern void shell ( void );

#endif /* _GPXE_SHELL_H */