Lines Matching refs:kernel

2  * Simple U-Boot uImage source file containing a single kernel
8 	description = "Simple image with single Linux kernel";
12 		kernel@1 {
13 			description = "Vanilla Linux kernel";
15 			type = "kernel";
33 			description = "Boot Linux kernel";
34 			kernel = "kernel@1";
46 	description = "Simple image with single Linux kernel on x86";
50 		kernel@1 {
51 			description = "Vanilla Linux kernel";
53 			type = "kernel";
82 			description = "Boot Linux kernel";
83 			kernel = "kernel@1";
89 Note: the above assumes a 32-bit kernel. To directly boot a 64-bit kernel,
91 before booting the kernel (see boot_linux_kernel()).