In my opinion, TheC64mini team must develope this amazing project remember this: C64 was a worldwide success due to
#1 unlimited software libraries
#2 tons of technical documentation
#3 customizable design.
TheC64mini must be intended also for use different from gaming; it must be "up to date" to younger users needs like programming - i.e. coding in Blockly - like languages and python - and surfing the web. I think that a "TheC64mini" flavoured linux version is the best solution for these needs.
TheC64mini is a C64's educational powerful evolution: it isn't a toy, is it?