Lines Matching refs:be

66 The boot loader must ultimately be able to provide a MACH_TYPE_xxx
68 should be passed to the kernel in register r1.
70 For DT-only platforms, the machine type will be determined by device
89 The ATAG_CORE tag may or may not be empty.  An empty ATAG_CORE tag
93 Any number of tags can be placed in the list.  It is undefined
110 The tagged list should be stored in system RAM.
112 The tagged list must be placed in a region of memory where neither
127 system memory, and the root filesystem location.  The dtb must be
129 overwrite it, whilst remaining within the region which will be covered
140 If an initramfs is in use then, as with the dtb, it must be placed in
142 while also with the region which will be covered by the kernel's
146 be loaded just above the 128MiB boundary from the start of RAM as
156 is stored in flash, and is linked correctly to be run from flash,
160 The zImage may also be placed in system RAM and called there.  The
161 kernel should be placed in the first 128MiB of RAM.  It is recommended
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)
188   CPUs which include support for the virtualization extensions can be
194   If the kernel is not entered in HYP mode for any reason, it must be
198   The MMU must be off.
199   Instruction cache may be on or off.
200   Data cache must be off.
205   hypervisor must be disabled, and PL1 access must be granted for all
208   should be such that a kernel which does not include support for the
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.