[legal] Add a selection of FILE_LICENCE declarations

Add FILE_LICENCE declarations to almost all files that make up the
various standard builds of gPXE.

src/arch/i386/include/basemem.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 #include <realmode.h>
 #include <bios.h>

src/arch/i386/include/basemem_packet.h

@@ -1,6 +1,8 @@
 #ifndef BASEMEM_PACKET_H
 #define BASEMEM_PACKET_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <realmode.h>
 
 /** Maximum length of base memory packet buffer */

src/arch/i386/include/bios.h

@@ -1,6 +1,8 @@
 #ifndef BIOS_H
 #define BIOS_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #define BDA_SEG 0x0040
 #define BDA_FBMS 0x0013
 #define BDA_NUM_DRIVES 0x0075

src/arch/i386/include/biosint.h

@@ -6,6 +6,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <realmode.h>
 
 struct segoff;

src/arch/i386/include/bits/byteswap.h

@@ -1,6 +1,8 @@
 #ifndef ETHERBOOT_BITS_BYTESWAP_H
 #define ETHERBOOT_BITS_BYTESWAP_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 static inline __attribute__ ((always_inline, const)) uint16_t
 __bswap_variable_16(uint16_t x)
 {

src/arch/i386/include/bits/compiler.h

@@ -1,6 +1,8 @@
 #ifndef _BITS_COMPILER_H
 #define _BITS_COMPILER_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifndef ASSEMBLY
 
 /** Declare a function with standard calling conventions */

src/arch/i386/include/bits/endian.h

@@ -1,6 +1,8 @@
 #ifndef ETHERBOOT_BITS_ENDIAN_H
 #define ETHERBOOT_BITS_ENDIAN_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #define __BYTE_ORDER __LITTLE_ENDIAN
 
 #endif /* ETHERBOOT_BITS_ENDIAN_H */

src/arch/i386/include/bits/errfile.h

@@ -1,6 +1,8 @@
 #ifndef _BITS_ERRFILE_H
 #define _BITS_ERRFILE_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /**
  * @addtogroup errfile Error file identifiers
  * @{

src/arch/i386/include/bits/io.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <gpxe/x86_io.h>
 
 #endif /* _BITS_IO_H */

src/arch/i386/include/bits/nap.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <gpxe/bios_nap.h>
 #include <gpxe/efi/efix86_nap.h>
 

src/arch/i386/include/bits/smbios.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <gpxe/bios_smbios.h>
 
 #endif /* _BITS_SMBIOS_H */

src/arch/i386/include/bits/stdint.h

@@ -1,6 +1,8 @@
 #ifndef _BITS_STDINT_H
 #define _BITS_STDINT_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 typedef __SIZE_TYPE__		size_t;
 typedef signed long		ssize_t;
 typedef signed long		off_t;

src/arch/i386/include/bits/timer.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <gpxe/bios_timer.h>
 #include <gpxe/rdtsc_timer.h>
 

src/arch/i386/include/bits/uaccess.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <librm.h>
 
 #endif /* _BITS_UACCESS_H */

src/arch/i386/include/bits/umalloc.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <gpxe/memtop_umalloc.h>
 
 #endif /* _BITS_UMALLOC_H */

src/arch/i386/include/bootsector.h

@@ -6,6 +6,8 @@
  * x86 bootsector image format
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 extern int call_bootsector ( unsigned int segment, unsigned int offset,
 			     unsigned int drive );
 

src/arch/i386/include/bzimage.h

@@ -1,6 +1,8 @@
 #ifndef _BZIMAGE_H
 #define _BZIMAGE_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 
 /**

src/arch/i386/include/comboot.h

@@ -7,6 +7,8 @@
  * SYSLINUX COMBOOT
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 #include <setjmp.h>
 #include <gpxe/in.h>

src/arch/i386/include/fakee820.h

@@ -1,6 +1,8 @@
 #ifndef _FAKEE820_H
 #define _FAKEE820_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 extern void fake_e820 ( void );
 extern void unfake_e820 ( void );
 

src/arch/i386/include/gpxe/abft.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 #include <gpxe/acpi.h>
 #include <gpxe/if_ether.h>

src/arch/i386/include/gpxe/bios_nap.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifdef NAP_PCBIOS
 #define NAP_PREFIX_pcbios
 #else

src/arch/i386/include/gpxe/bios_smbios.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifdef SMBIOS_PCBIOS
 #define SMBIOS_PREFIX_pcbios
 #else

src/arch/i386/include/gpxe/bios_timer.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifdef TIMER_PCBIOS
 #define TIMER_PREFIX_pcbios
 #else

src/arch/i386/include/gpxe/ibft.h

@@ -28,6 +28,8 @@
  *
  */
 
+FILE_LICENCE ( BSD2 );
+
 /** @file
  *
  * iSCSI boot firmware table

src/arch/i386/include/gpxe/memtop_umalloc.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifdef UMALLOC_MEMTOP
 #define UMALLOC_PREFIX_memtop
 #else

src/arch/i386/include/gpxe/rdtsc_timer.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifdef TIMER_RDTSC
 #define TIMER_PREFIX_rdtsc
 #else

src/arch/i386/include/gpxe/timer2.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 extern void timer2_udelay ( unsigned long usecs );
 
 #endif /* _GPXE_TIMER2_H */

src/arch/i386/include/gpxe/x86_io.h

@@ -15,6 +15,8 @@
  * into a machine with such an old CPU anyway.
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifdef IOAPI_X86
 #define IOAPI_PREFIX_x86
 #else

src/arch/i386/include/int13.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 #include <gpxe/list.h>
 #include <realmode.h>

src/arch/i386/include/librm.h

@@ -1,6 +1,8 @@
 #ifndef LIBRM_H
 #define LIBRM_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /* Segment selectors as used in our protected-mode GDTs.
  *
  * Don't change these unless you really know what you're doing.

src/arch/i386/include/limits.h

@@ -1,6 +1,8 @@
 #ifndef LIMITS_H
 #define LIMITS_H	1
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /* Number of bits in a `char' */
 #define CHAR_BIT	8
 

src/arch/i386/include/memsizes.h

@@ -1,6 +1,8 @@
 #ifndef _MEMSIZES_H
 #define _MEMSIZES_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <basemem.h>
 
 /**

src/arch/i386/include/multiboot.h

@@ -8,6 +8,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 
 /** The magic number for the Multiboot header */

src/arch/i386/include/pic8259.h

@@ -4,6 +4,8 @@
  * Initially written by Michael Brown (mcb30).
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifndef PIC8259_H
 #define PIC8259_H
 

src/arch/i386/include/pnpbios.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /* BIOS segment address */
 #define BIOS_SEG 0xf000
 

src/arch/i386/include/pxe.h

@@ -1,6 +1,8 @@
 #ifndef PXE_H
 #define PXE_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include "pxe_types.h"
 #include "pxe_api.h"
 #include <gpxe/device.h>

src/arch/i386/include/pxe_api.h

@@ -23,6 +23,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include "pxe_types.h"
 
 /** @addtogroup pxe Preboot eXecution Environment (PXE) API

src/arch/i386/include/pxe_call.h

@@ -6,6 +6,8 @@
  * PXE API entry point
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <pxe_api.h>
 #include <realmode.h>
 

src/arch/i386/include/pxe_types.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 #include <errno.h> /* PXE status codes */
 

src/arch/i386/include/realmode.h

@@ -10,6 +10,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /*
  * Declaration of variables in .data16
  *

src/arch/i386/include/registers.h

@@ -10,6 +10,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 
 /**

src/arch/i386/include/setjmp.h

@@ -1,6 +1,8 @@
 #ifndef ETHERBOOT_SETJMP_H
 #define ETHERBOOT_SETJMP_H
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdint.h>
 #include <realmode.h>
 

src/arch/i386/include/undi.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifndef ASSEMBLY
 
 #include <gpxe/device.h>

src/arch/i386/include/undiload.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 struct undi_device;
 struct undi_rom;
 

src/arch/i386/include/undinet.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 struct undi_device;
 
 extern int undinet_probe ( struct undi_device *undi );

src/arch/i386/include/undipreload.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <realmode.h>
 #include <undi.h>
 

src/arch/i386/include/undirom.h

@@ -7,6 +7,8 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <pxe_types.h>
 
 /** An UNDI PCI device ID */