3 /include/ "bcm7435.dtsi"
6 compatible = "brcm,bcm97435svmb", "brcm,bcm7435";
7 model = "Broadcom BCM97435SVMB";
10 device_type = "memory";
11 reg = <0x00000000 0x10000000>,
12 <0x20000000 0x30000000>,
13 <0x90000000 0x40000000>;
17 bootargs = "console=ttyS0,115200 maxcpus=1";