/drivers/firmware/

• ../
• Kconfig
• Makefile
• firmware-uclass.c
• psci.c