/configs/devices/or1k-softmmu/