Raspberry Pi port, piCore-15.0 is available!
Uploaded, thanks!Do you want to send an update with the econman being in our repo?