Raspberry Pi port, piCore-15.0 is available!
With previous versions, some extensions were only available as tce.With the new system, can all extensions be mounted, or are there some which must be installed?