// SPDX-License-Identifier: GPL-2.0+ #include "rk3399-puma-u-boot.dtsi" #include "rk3399-sdram-ddr3-1333.dtsi"