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