Lines Matching full:must

74 The boot loader must ultimately be able to provide a MACH_TYPE_xxx
90 The boot loader must provide either a tagged list or a dtb image for
97 The boot loader must create and initialise the kernel tagged list.
100 has the size field set to '2' (0x00000002).  The ATAG_NONE must set
108 The boot loader must pass at a minimum the size and location of
122 The tagged list must be placed in a region of memory where neither
129 The boot loader must load a device tree image (dtb) into system ram
136 The boot loader must pass at a minimum the size and location of the
137 system memory, and the root filesystem location.  The dtb must be
152 If an initramfs is in use then, as with the dtb, it must be placed in
181 In this case the kernel must be loaded at an offset into system equal
184 In any case, the following conditions must be met:
199   All forms of interrupts must be disabled (IRQs and FIQs)
202   CPU must be in SVC mode.  (A special exception exists for Angel)
210   If the kernel is not entered in HYP mode for any reason, it must be
215   The MMU must be off.
219   Data cache must be off.
224   hypervisor must be disabled, and PL1 access must be granted for all
233   On CPUs supporting the ARM instruction set, the entry must be
237   Cortex-M class CPUs, the entry must be made in Thumb state.