1 files changed, 105 insertions, 0 deletions
diff --git a/src/include/ipxe/lkrn.h b/src/include/ipxe/lkrn.h
new file mode 100644
index 000000000..88b4d0485
--- /dev/null
+++ b/src/include/ipxe/lkrn.h
@@ -0,0 +1,105 @@
+#ifndef _IPXE_LKRN_H
+#define _IPXE_LKRN_H
+
+/** @file
+ *
+ * Linux kernel images
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+
+#include <stdint.h>
+
+/** Kernel image header */
+struct lkrn_header {
+	/** Executable code */
+	uint32_t code[2];
+	/** Image load offset */
+	uint64_t text_offset;
+	/** Image size */
+	uint64_t image_size;
+	/** Flags */
+	uint64_t flags;
+	/** Reserved */
+	uint8_t reserved_a[24];
+	/** Magic */
+	uint32_t magic;
+	/** Reserved */
+	uint8_t reserved_b[4];
+} __attribute__ (( packed ));
+
+/** Kernel magic value */
+#define LKRN_MAGIC( a, b, c, d ) \
+	( ( (a) << 0 ) | ( (b) << 8 ) | ( (c) << 16 ) | ( (d) << 24 ) )
+
+/** Kernel magic value for AArch64 */
+#define LKRN_MAGIC_AARCH64 LKRN_MAGIC ( 'A', 'R', 'M', 0x64 )
+
+/** Kernel magic value for RISC-V */
+#define LKRN_MAGIC_RISCV LKRN_MAGIC ( 'R', 'S', 'C', 0x05 )
+
+/** Kernel image context */
+struct lkrn_context {
+	/** Load offset */
+	size_t offset;
+	/** File size */
+	size_t filesz;
+	/** Memory size */
+	size_t memsz;
+
+	/** Start of RAM */
+	physaddr_t ram;
+	/** Entry point */
+	physaddr_t entry;
+	/** Initial ramdisk (if any) */
+	physaddr_t initrd;
+	/** Device tree */
+	physaddr_t fdt;
+};
+
+/** Compressed kernel image header */
+struct zimg_header {
+	/** Reserved */
+	uint8_t reserved_a[4];
+	/** Magic */
+	uint32_t magic;
+	/** Offset to payload */
+	uint32_t offset;
+	/** Length of payload */
+	uint32_t len;
+	/** Reserved */
+	uint8_t reserved_b[8];
+	/** Compression type */
+	uint32_t type;
+} __attribute__ (( packed ));
+
+/** Compressed kernel image magic value */
+#define ZIMG_MAGIC LKRN_MAGIC ( 'z', 'i', 'm', 'g' )
+
+/** Compressed kernel image context */
+struct zimg_context {
+	/** Offset to compressed data */
+	size_t offset;
+	/** Length of compressed data */
+	size_t len;
+	/** Compression type */
+	union {
+		/** Raw type */
+		uint32_t raw;
+		/** Printable string */
+		char string[5];
+	} type;
+};
+
+#include <bits/lkrn.h>
+
+/**
+ * Jump to kernel entry point
+ *
+ * @v entry		Kernel entry point
+ * @v fdt		Device tree
+ */
+void lkrn_jump ( physaddr_t entry, physaddr_t fdt );
+
+#endif /* _IPXE_LKRN_H */