I would like to attend the ARM mini-summit. I am especially interested in device tree related issues. debugging device tree issues device tree stable API device tree location (linux git repository or elsewhere) -Frank Rowand