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