fixup! Add the ODROID H2+ x86 board

seL4 · Nov 1, 2024 · b74d9ac · b74d9ac
1 parent 797555a
commit b74d9ac
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/example/odroidh2plus/hello/machine.json b/example/odroidh2plus/hello/machine.json
@@ -1,3 +1,8 @@
+/*
+ * Copyright 2024, Neutrality Sarl.
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
 {
     "memory": [
         {