// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (C) 2019 Jagan Teki */ #include "rockchip-u-boot.dtsi" &global_timer { status = "okay"; }; &gpio0 { compatible = "rockchip,gpio-bank"; }; &pmu { compatible = "rockchip,rk3188-pmu", "syscon", "simple-mfd"; };