]> git.karo-electronics.de Git - karo-tx-uboot.git/search
jetson-tk1: Add PSCI configuration options and reserve secure code