/dts-v1/;
/memreserve/ 0x0c000000 0x04000000;
/include/ "bcm2835.dtsi"

/ {
	compatible = "raspberrypi,model-b", "brcm,bcm2835";
	model = "Raspberry Pi Model B";

	memory {
		reg = <0 0x10000000>;
	};
};

&gpio {
	pinctrl-names = "default";
	pinctrl-0 = <&alt0 &alt3>;

	alt0: alt0 {
		brcm,pins = <0 1 2 3 4 5 6 7 8 9 10 11 14 15 40 45>;
		brcm,function = <4>; /* alt0 */
	};

	alt3: alt3 {
		brcm,pins = <48 49 50 51 52 53>;
		brcm,function = <7>; /* alt3 */
	};
};