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