Raspberry Pi port, piCore-15.0 is available!
tinycore lang=en Choose Language (currently english only)tinycore kmap=us Choose Keyboard (currently us only)