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

   1 /dts-v1/;
   2 /memreserve/ 0x0c000000 0x04000000;
   3 /include/ "bcm2835.dtsi"
   4
   5 / {
   6         compatible = "raspberrypi,model-b", "brcm,bcm2835";
   7         model = "Raspberry Pi Model B";
   8
   9         memory {
  10                 reg = <0 0x10000000>;
  11         };
  12 };