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