1 // SPDX-License-Identifier: MIT
3 #include "config_file/config_file.h"
13 struct platform_config *make_platform_config(char *name, char *subsys);
15 void dump_range_to_file(uint32_t addr, uint32_t size, char *filename);
16 uint8_t *dump_range_to_memory(uint32_t addr, uint32_t size);