Passing devicetree to kernel

[Raj Swaminathan]

Hi,

The barebox documentation is a little vague on how the internal device
tree is actually passed to the kernel.  I was previously using this
environment setting to pass the kernel's devicetree to the kernel:
global.bootm.oftree=${PATH}/devicetree

My understanding was taking out that line would be sufficient.
Unfortunately I can no longer get my kernel to boot. It stalls here:

Loading ARM Linux zImage '/boot/linux'
commandline:  console=ttyS0,115200 earlyprintk  root=LABEL=root rw rootwait

Any help is appreciated.

Thanks,
Raj