zynqmp: add 2018.3 linux images

This commit adds 2018.3 Linux artifacts that are compatible with the seL4 kernel device tree. Signed-off-by: Chris Guikema <chris.guikema@dornerworks.com>
seL4 · Jan 25, 2024 · 987de5e · 987de5e
1 parent e67cfbc
commit 987de5e
Show file tree

Hide file tree

Showing 6 changed files with 5,260 additions and 0 deletions.
diff --git a/.reuse/dep5 b/.reuse/dep5
@@ -18,6 +18,7 @@ Files:
   exynos5422/minimal-linux-dtb
   odroidc2/camkes-linux-dtb
   tx2/connection.ko
+  zynqmp/2018_3/linux
   zynqmp/2021_1/linux
 Copyright: Linux
 License: GPL-2.0-or-later
@@ -39,6 +40,7 @@ Copyright: Data61, CSIRO
 License: GPL-2.0-or-later
 
 Files:
+  zynqmp/linux_configs/2018_3/config
   zynqmp/linux_configs/2021_1/config
 Copyright: DornerWorks
 License: GPL-2.0-or-later
diff --git a/zynqmp/2018_3/linux b/zynqmp/2018_3/linux
diff --git a/zynqmp/2018_3/rootfs-minimal.cpio.gz b/zynqmp/2018_3/rootfs-minimal.cpio.gz
diff --git a/zynqmp/linux b/zynqmp/linux
@@ -0,0 +1 @@
+2018_3/linux