Raspberry Pi port, piCore-15.0 is available!
Probably yes, but in the filesystems- extension, not base.