Raspberry Pi port, piCore-15.0 is available!
sudo mount -o addr=10.42.0.1,nolock -t nfs 10.42.0.1:/home/patrik/picore temp