Raspberry Pi port, piCore-15.0 is available!
one thing that I felt long ago and did not work was to use a sd in a usb adapter.It seems that the adapters do a little confusion in the names of the partitions.