Lines Matching refs:t
10 officially supported kernel is a AArch32 kernel. This doesn't mean that this
11 port of TF-A can't boot a AArch64 kernel. The `Linux tree fork`_ maintained by
15 **IMPORTANT NOTE**: This port isn't secure. All of the memory used is DRAM,
17 shouldn't be considered more than a prototype to play with and implement
54 in AArch32. This means that BL33 can't be in EL2 in AArch64 mode. The
55 architecture specifies that AArch32 Hypervisor mode isn't present when AArch64
131 so that the kernel doesn't use it. The current port tries to modify the live DTB
139 different mappings than the Arm cores in which the I/O addresses don't overlap
141 the end of the DRAM, so this space isn't wasted.
166 ``PSCI_SYSTEM_RESET`` and ``PSCI_SYSTEM_OFF``. The last one doesn't really turn
170 The kernel used by `Raspbian`_ doesn't have support for PSCI, so it is needed to
210 been preloaded by any other system than using the firmware. ``BL33`` isn't
213 ``config.txt``. It doesn't have to contain a kernel, it could have any
275 Linux command line so that the USB driver doesn't use FIQs:
299 Building the firmware for kernels that don't support PSCI
360 Note that this system won't be fully 64-bit because all the tools in the
452 HDMI output won't show any text during boot.