/* Initialize media with default check file list. If boot file name is not set, the listed files will be checked.  */
void media_init(const char **list, const uint32_t list_size)
/* Initialize media with default check file list. If boot file name is not set, the listed files will be checked.  */
void media_init(const char **list, const uint32_t list_size)
{
	uint32_t i;
	dbg_print("media: init ...\r\n");
	file_names[0] = 0;
	file_list = (char**)list;
	file_list_size = list_size;
	if (list) {
		dbg_print("media: boot list (priority high ~ low)\r\n");
		for (i = 0; i < list_size; i ++) {
			dbg_print(" #%u : %s\r\n", (unsigned)i, file_list[i]);
		}
	}
	for (i = 0; i < MEDIA_NUM_MAX; i ++) {
		if (medias[i].init) {
			medias[i].init();
		}
	}
	dbg_print("media: init ... done\r\n");
}