Raspberry Pi port, piCore-15.0 is available!
i was never mac user but something seems to me may needs to make uefi guide in the tinycore wiki?