Lines Matching refs:kernel

11 This document describes the information about U-Boot loading VxWorks kernel.
16 For booting old kernels (6.9.x) on PowerPC and ARM, and all kernel versions
20 64-bit x86 kernel cannot be loaded as of today.
37 When booting new VxWorks kernel (uImage format), the parameters passed to bootm
40     bootm <kernel image address> - <device tree address>
44 When using 'bootvx', the kernel bootline must be prepared by U-Boot at a
52 location pointed by "bootaddr" as the kernel bootline. If "bootargs" is not
58 handle bootline fix up for the kernel dtb automatically.
70 Before loading an x86 kernel, two additional environment variables need to be
74 Check VxWorks kernel configuration to look for BIOS_E820_DATA_START and
82 Note since currently U-Boot does not support ACPI yet, VxWorks kernel must
85 VxWorks kernel configuration.