alistair23-linux/arch/arm/boot/dts/bcm2835-rpi-b.dts

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

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

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