Lines Matching refs:kernel
3 Single kernel
11 description = "Simple image with single Linux kernel";
15 kernel {
16 description = "Vanilla Linux kernel";
18 type = "kernel";
36 description = "Boot Linux kernel";
37 kernel = "kernel";
48 description = "Simple image with single Linux kernel on x86";
52 kernel {
53 description = "Vanilla Linux kernel";
55 type = "kernel";
84 description = "Boot Linux kernel";
85 kernel = "kernel";
91 Note: the above assumes a 32-bit kernel. To directly boot a 64-bit kernel,
93 before booting the kernel (see boot_linux_kernel()).