/plat/rpi/rpi4/

• ../
• aarch64
• include
• platform.mk
• rpi4_bl31_setup.c