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