Lines Matching refs:must

66 The boot loader must ultimately be able to provide a MACH_TYPE_xxx
80 The boot loader must provide either a tagged list or a dtb image for
87 The boot loader must create and initialise the kernel tagged list.
90 has the size field set to '2' (0x00000002).  The ATAG_NONE must set
98 The boot loader must pass at a minimum the size and location of
112 The tagged list must be placed in a region of memory where neither
119 The boot loader must load a device tree image (dtb) into system ram
126 The boot loader must pass at a minimum the size and location of the
127 system memory, and the root filesystem location.  The dtb must be
140 If an initramfs is in use then, as with the dtb, it must be placed in
167 In this case the kernel must be loaded at an offset into system equal
170 In any case, the following conditions must be met:
183   All forms of interrupts must be disabled (IRQs and FIQs)
186   CPU must be in SVC mode.  (A special exception exists for Angel)
194   If the kernel is not entered in HYP mode for any reason, it must be
198   The MMU must be off.
200   Data cache must be off.
205   hypervisor must be disabled, and PL1 access must be granted for all
214   On CPUs supporting the ARM instruction set, the entry must be
218   Cortex-M class CPUs, the entry must be made in Thumb state.