[shell_banner] Avoid printing Ctrl-B prompt if BANNER_TIMEOUT <= 0
[gpxe.git] / COPYRIGHTS
blobd686b4354b5516cc2b8143c9b905e2316c01b97c
2 In general gPXE files are licensed under the GPL.  GPLed files are in
3 general either from Linux or have been explicitly put under GPL by the
4 authors.  The license for a file is usually documented at the top of
5 the file.  
7 A few files are inherited from FreeBSD netboot and therefore can be
8 used under BSD or GPL.  Documented in this file are some of the
9 non-GPL'ed files.  If the internal documentation for a file disagrees
10 with what is documented in this file, the internal documentation for
11 the file shall be override this file.
13 File                                    Copyright status
15 src/core/misc.c                         BSD
16 src/drivers/net/3c509.c                 BSD
17 src/drivers/net/3c509.h                 BSD
18 src/drivers/net/3c595.c                 BSD
19 src/drivers/net/3c595.h                 BSD
20 src/drivers/net/3c90x.c                 Open Source
21 src/drivers/net/epic100.c               None
22 src/drivers/net/epic100.h               None
23 src/drivers/net/ns8390.c                BSD
24 src/drivers/net/ns8390.h                BSD
25 src/arch/i386/include/bits/string.h     None