Raspberry Pi port, piCore-15.0 is available!
Thanks Rich. Modules are there. I am not using 13 as there is a problem with the usb audio adapter module. Was easier to go back to 12.