/* Default implementation of enable_caches() Real implementation should be in platform code  */
__weak void enable_caches(void)
/* Default implementation of enable_caches() Real implementation should be in platform code  */
__weak void enable_caches(void)
{
	puts("WARNING: Caches not enabled\n");
}