docs/design_documents/measured_boot_dtpm_poc.rst

5 critical data used at boot time, for example using a TPM, so that the
32      expansion module. Measured boot capabilities using the TCG Event Log are
55    - **U-boot BL33**: This PoC showcases measured boot up to BL33, and for
56      simplicity uses a U-boot image for BL33, so that the image is measured and
57      loaded. Currently U-boot does not have Discrete TPM support for the
58      Raspberry Pi 3 platform so the boot flow ends here.
69 U-boot can be built for the Raspberry Pi 3, but there are some changes to be made
70 to allow the build to succeed. First Clone U-boot and enter the repo.
74     git clone https://github.com/u-boot/u-boot.git
75     cd u-boot
94 To build the u-boot binary, use the following command.
102 Copy over the ``u-boot.bin`` file over to your TF-A working directory.
106     cp /path/to/u-boot/build/u-boot.bin /path/to/tfa/u-boot.bin
115     BL33=u-boot.bin                       \
155      view serial output during the boot sequence. The GND, TXD, and RXD pins,
162      installation that is similar to the default Raspberry Pi 3 boot partition,
197 Insert the SD Card into the Raspberry Pi 3 SD card port and boot the system.
434     EFI boot manager: Cannot load any image
458 .. _workaround:  https://github.com/mhomran/u-boot-rpi3-b-plus