xref: /rk3399_rockchip-uboot/drivers/firmware/Kconfig (revision e30d2bd40eaed27c5cead1b6e337e66f2b84d30e) 
1config FIRMWARE
2	bool
3
4config ARM_PSCI_FW
5	bool
6	select FIRMWARE
7