Software resources for TheC64 and TheC64Mini