Lines Matching refs:use

7 The following instructions explain how to use this port of the TF-A with the
42 This means that we can use the default AArch32 kernel provided in the official
131 so that the kernel doesn't use it. The current port tries to modify the live DTB
171 use mailboxes to trap the secondary cores until they are ready to jump to the
175 Kernels with PSCI support can use the PSCI calls instead for a cleaner boot.
199 build folder (e.g. ``build/rpi3/debug/armstub8.bin``). To know how to use this
268   Please use the code from `here <https://github.com/OP-TEE/optee_os>`__.
275      Linux command line so that the USB driver doesn't use FIQs:
281   it. In order to use TBB, you might want to set ``GENERATE_COT=1`` to let the
309 Then compile TF-A. For a 32-bit kernel, use the following command line:
317 For a 64-bit kernel, use this other command line:
327 the DTS to tell the kernel to use PSCI. Once this patch is applied, follow the
358 want to use the default 32-bit kernel.