59 lines
1.7 KiB
C
59 lines
1.7 KiB
C
// --------------------------------------------------------------------------------
|
|
// Auto-generated by Migen (f4fcd10) & LiteX (de205d4a) on 2019-11-25 15:17:59
|
|
// --------------------------------------------------------------------------------
|
|
#ifndef __GENERATED_SOC_H
|
|
#define __GENERATED_SOC_H
|
|
#define CONFIG_BITSTREAM_SYNC_HEADER1 2123999870
|
|
static inline int config_bitstream_sync_header1_read(void) {
|
|
return 2123999870;
|
|
}
|
|
#define CONFIG_BITSTREAM_SYNC_HEADER2 2125109630
|
|
static inline int config_bitstream_sync_header2_read(void) {
|
|
return 2125109630;
|
|
}
|
|
#define CONFIG_CLOCK_FREQUENCY 12000000
|
|
static inline int config_clock_frequency_read(void) {
|
|
return 12000000;
|
|
}
|
|
#define CONFIG_CPU_RESET_ADDR 0
|
|
static inline int config_cpu_reset_addr_read(void) {
|
|
return 0;
|
|
}
|
|
#define CONFIG_CPU_TYPE "VEXRISCV"
|
|
static inline const char *config_cpu_type_read(void) {
|
|
return "VEXRISCV";
|
|
}
|
|
#define CONFIG_CPU_TYPE_VEXRISCV
|
|
#define CONFIG_CPU_VARIANT "MIN"
|
|
static inline const char *config_cpu_variant_read(void) {
|
|
return "MIN";
|
|
}
|
|
#define CONFIG_CPU_VARIANT_MIN
|
|
#define CONFIG_CSR_ALIGNMENT 32
|
|
static inline int config_csr_alignment_read(void) {
|
|
return 32;
|
|
}
|
|
#define CONFIG_CSR_DATA_WIDTH 8
|
|
static inline int config_csr_data_width_read(void) {
|
|
return 8;
|
|
}
|
|
#define CONFIG_FOMU_REV "HACKER"
|
|
static inline const char *config_fomu_rev_read(void) {
|
|
return "HACKER";
|
|
}
|
|
#define CONFIG_FOMU_REV_HACKER
|
|
#define CONFIG_SHADOW_BASE 2147483648
|
|
static inline int config_shadow_base_read(void) {
|
|
return 2147483648;
|
|
}
|
|
#define TIMER0_INTERRUPT 2
|
|
static inline int timer0_interrupt_read(void) {
|
|
return 2;
|
|
}
|
|
#define USB_INTERRUPT 3
|
|
static inline int usb_interrupt_read(void) {
|
|
return 3;
|
|
}
|
|
|
|
#endif
|