title: Device tree driven kernel for raspberry pi
body: <p>I'd like to boot the raspberry pi with a device-tree-driven linux kernel, is there anything special to do to do that?</p>
  
  <p>Can anyone point what are required to set up a device-tree-based kernel boot up for the raspberry pi.</p>
  
  <p>I may need to have raspberry pi kernel source where drivers for devices should be compatible with device tree. If so, where can I find such kernel sources for Raspberry Pi?</p>