//--------------------------------------------------------------------------------
// Auto-generated by LiteX (9ad3ecf74) on 2026-09-16 08:16:18
//--------------------------------------------------------------------------------
#ifndef __GENERATED_SOC_H
#define __GENERATED_SOC_H
#include <stdint.h>
#define CONFIG_PLATFORM_NAME "platform"
#define CONFIG_CLOCK_FREQUENCY 75000000
#define CONFIG_CPU_TYPE_NONE
#define CONFIG_CPU_VARIANT_STANDARD
#define CONFIG_CPU_FAMILY
#define CONFIG_CPU_NAME "None"
#define CONFIG_CPU_HUMAN_NAME "Unknown"
#define CONFIG_CSR_DATA_WIDTH 32
#define CONFIG_CSR_ALIGNMENT 32
#define CONFIG_CSR_ORDERING_BIG
#define CONFIG_BUS_STANDARD "wishbone"
#define CONFIG_BUS_DATA_WIDTH 32
#define CONFIG_BUS_ADDRESS_WIDTH 32
#define CONFIG_BUS_BURSTING 0

#ifndef __ASSEMBLER__
static inline const char * config_platform_name_read(void) {
	return "platform";
}
static inline uint32_t config_clock_frequency_read(void) {
	return 75000000;
}
static inline const char * config_cpu_name_read(void) {
	return "None";
}
static inline const char * config_cpu_human_name_read(void) {
	return "Unknown";
}
static inline uint32_t config_csr_data_width_read(void) {
	return 32;
}
static inline uint32_t config_csr_alignment_read(void) {
	return 32;
}
static inline const char * config_bus_standard_read(void) {
	return "wishbone";
}
static inline uint32_t config_bus_data_width_read(void) {
	return 32;
}
static inline uint32_t config_bus_address_width_read(void) {
	return 32;
}
static inline uint32_t config_bus_bursting_read(void) {
	return 0;
}
#endif // !__ASSEMBLER__

#endif