Raspberry Pi port, piCore-15.0 is available!
How can i edit the default icons of tinycore? (exit, terminal, editor, mount tool and control panel