/drivers/firmware/

• ../
• Kconfig
• Makefile
• firmware-sandbox.c
• firmware-uclass.c
• psci.c
• ti_sci.c
• ti_sci.h