Properly license all nontrivial files

28 files changed, 56 insertions, 0 deletions

diff --git a/machine/bits.h b/machine/bits.h
index e578903..0378d80 100644
--- a/machine/bits.h
+++ b/machine/bits.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_BITS_H
 #define _RISCV_BITS_H
 
diff --git a/machine/disabled_hart_mask.h b/machine/disabled_hart_mask.h
index 2a3a73c..3dd98e3 100644
--- a/machine/disabled_hart_mask.h
+++ b/machine/disabled_hart_mask.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef DISABLED_HART_MASK_H
 #define DISABLED_HART_MASK_H
 extern long disabled_hart_mask;
diff --git a/machine/emulation.c b/machine/emulation.c
index db0f3a7..132e977 100644
--- a/machine/emulation.c
+++ b/machine/emulation.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "emulation.h"
 #include "fp_emulation.h"
 #include "config.h"
diff --git a/machine/emulation.h b/machine/emulation.h
index f75173d..62115bc 100644
--- a/machine/emulation.h
+++ b/machine/emulation.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_EMULATION_H
 #define _RISCV_EMULATION_H
 
diff --git a/machine/fdt.c b/machine/fdt.c
index b6a7a4b..e8a504f 100644
--- a/machine/fdt.c
+++ b/machine/fdt.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include <stdbool.h>
 #include <stdint.h>
 #include <string.h>
diff --git a/machine/fdt.h b/machine/fdt.h
index 6c8a6fe..97aa70d 100644
--- a/machine/fdt.h
+++ b/machine/fdt.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef FDT_H
 #define FDT_H
 
diff --git a/machine/finisher.c b/machine/finisher.c
index d113096..60dcb30 100644
--- a/machine/finisher.c
+++ b/machine/finisher.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include <string.h>
 #include "finisher.h"
 #include "fdt.h"
diff --git a/machine/finisher.h b/machine/finisher.h
index 60d10b4..3788c9c 100644
--- a/machine/finisher.h
+++ b/machine/finisher.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_FINISHER_H
 #define _RISCV_FINISHER_H
 
diff --git a/machine/flush_icache.c b/machine/flush_icache.c
index 45ba204..3a3dbc1 100644
--- a/machine/flush_icache.c
+++ b/machine/flush_icache.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 void __riscv_flush_icache(void) {
   __asm__ volatile ("fence.i");
 }
diff --git a/machine/fp_emulation.c b/machine/fp_emulation.c
index c83ef73..6a0caec 100644
--- a/machine/fp_emulation.c
+++ b/machine/fp_emulation.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "fp_emulation.h"
 #include "unprivileged_memory.h"
 #include "softfloat.h"
diff --git a/machine/fp_emulation.h b/machine/fp_emulation.h
index 97950df..1352ca3 100644
--- a/machine/fp_emulation.h
+++ b/machine/fp_emulation.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_FP_EMULATION_H
 #define _RISCV_FP_EMULATION_H
 
diff --git a/machine/fp_ldst.c b/machine/fp_ldst.c
index e11900c..45f843b 100644
--- a/machine/fp_ldst.c
+++ b/machine/fp_ldst.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "fp_emulation.h"
 #include "unprivileged_memory.h"
 
diff --git a/machine/htif.c b/machine/htif.c
index 44ec2dd..d3921a4 100644
--- a/machine/htif.c
+++ b/machine/htif.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "htif.h"
 #include "atomic.h"
 #include "mtrap.h"
diff --git a/machine/htif.h b/machine/htif.h
index a96bf60..a4e5e8e 100644
--- a/machine/htif.h
+++ b/machine/htif.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_HTIF_H
 #define _RISCV_HTIF_H
 
diff --git a/machine/machine.ac b/machine/machine.ac
index 65acf04..a787113 100644
--- a/machine/machine.ac
+++ b/machine/machine.ac
@@ -1,3 +1,5 @@
+# See LICENSE for license details.
+
 AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable floating-point emulation]))
 AS_IF([test "x$enable_fp_emulation" != "xno"], [
   AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled])
diff --git a/machine/machine.mk.in b/machine/machine.mk.in
index d6829eb..dcecb7a 100644
--- a/machine/machine.mk.in
+++ b/machine/machine.mk.in
@@ -1,3 +1,5 @@
+# See LICENSE for license details.
+
 machine_subproject_deps = \
   softfloat \
 
diff --git a/machine/mcall.h b/machine/mcall.h
index 6a2c037..008179f 100644
--- a/machine/mcall.h
+++ b/machine/mcall.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_SBI_H
 #define _RISCV_SBI_H
 
diff --git a/machine/minit.c b/machine/minit.c
index ceae6b7..a411978 100644
--- a/machine/minit.c
+++ b/machine/minit.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "mtrap.h"
 #include "atomic.h"
 #include "vm.h"
diff --git a/machine/misaligned_ldst.c b/machine/misaligned_ldst.c
index 2fccd50..a44195b 100644
--- a/machine/misaligned_ldst.c
+++ b/machine/misaligned_ldst.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "emulation.h"
 #include "fp_emulation.h"
 #include "unprivileged_memory.h"
diff --git a/machine/mtrap.c b/machine/mtrap.c
index b8dcc68..e48d3d5 100644
--- a/machine/mtrap.c
+++ b/machine/mtrap.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "mtrap.h"
 #include "mcall.h"
 #include "htif.h"
diff --git a/machine/mtrap.h b/machine/mtrap.h
index c4d43d0..4b9e569 100644
--- a/machine/mtrap.h
+++ b/machine/mtrap.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_MTRAP_H
 #define _RISCV_MTRAP_H
 
diff --git a/machine/muldiv_emulation.c b/machine/muldiv_emulation.c
index 1fde345..dba5c03 100644
--- a/machine/muldiv_emulation.c
+++ b/machine/muldiv_emulation.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include "emulation.h"
 
 #ifndef __riscv_muldiv
diff --git a/machine/uart.c b/machine/uart.c
index 0645500..8cb47fb 100644
--- a/machine/uart.c
+++ b/machine/uart.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include <string.h>
 #include "uart.h"
 #include "fdt.h"
diff --git a/machine/uart.h b/machine/uart.h
index 51e951f..928009d 100644
--- a/machine/uart.h
+++ b/machine/uart.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_UART_H
 #define _RISCV_UART_H
 
diff --git a/machine/uart16550.c b/machine/uart16550.c
index fe1ba99..16c6186 100644
--- a/machine/uart16550.c
+++ b/machine/uart16550.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #include <string.h>
 #include "uart16550.h"
 #include "fdt.h"
diff --git a/machine/uart16550.h b/machine/uart16550.h
index d7a0805..2ae44ce 100644
--- a/machine/uart16550.h
+++ b/machine/uart16550.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_16550_H
 #define _RISCV_16550_H
 
diff --git a/machine/unprivileged_memory.h b/machine/unprivileged_memory.h
index 5cf2727..a904fd6 100644
--- a/machine/unprivileged_memory.h
+++ b/machine/unprivileged_memory.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _RISCV_MISALIGNED_H
 #define _RISCV_MISALIGNED_H
 
diff --git a/machine/vm.h b/machine/vm.h
index 986f301..9436ffb 100644
--- a/machine/vm.h
+++ b/machine/vm.h
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 #ifndef _VM_H
 #define _VM_H