1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
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 */
|
