On Fri, May 19, 2017 at 9:55 AM, Guido Günther <agx@sigxcpu.org> wrote:
LGTM but I don't know much about PPC64, it's SLOF and where the device
tree should be located.

Hi those paths for SLOF are the default one for Debian/Ubuntu at least.
$ dpkg -L qemu-slof
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/qemu-slof
/usr/share/doc/qemu-slof/copyright
/usr/share/doc/qemu-slof/changelog.Debian.gz
/usr/share/slof
/usr/share/slof/spapr-rtas.bin
/usr/share/slof/slof.bin

The other paths are kernel owned and match the current state:
(the proc path is a symlink today, not sure if it was a real path back in history)
$ ll /proc/device-tree
lrwxrwxrwx 1 root root 29 Mai 19 08:59 /proc/device-tree -> /sys/firmware/devicetree/base/
$ ll  /sys/firmware/devicetree/
total 0
drwxr-xr-x  3 root root 0 Mai 19 08:57 ./
drwxr-xr-x  4 root root 0 Mai 19 08:57 ../
drwxr-xr-x 51 root root 0 Mai 19 08:57 base/
(there is much more under this path, but the rule is ** for a reason)

Hope that helps,
Christian