/configs/devices/ppc64-softmmu/