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


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

#ifndef _GPXE_SHELL_BANNER_H
#define _GPXE_SHELL_BANNER_H

/** @file
 *
 * Shell startup banner
 *
 */

FILE_LICENCE ( GPL2_OR_LATER );

extern int shell_banner ( void );

#endif /* _GPXE_SHELL_BANNER_H */