-
Notifications
You must be signed in to change notification settings - Fork 34
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: Sean Cross <[email protected]>
- Loading branch information
Showing
24 changed files
with
2,772 additions
and
0 deletions.
There are no files selected for viewing
Binary file not shown.
Large diffs are not rendered by default.
Oops, something went wrong.
Binary file not shown.
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,58 @@ | ||
//-------------------------------------------------------------------------------- | ||
// Auto-generated by Migen (f4fcd10) & LiteX (de205d4a) on 2019-11-29 11:01:31 | ||
//-------------------------------------------------------------------------------- | ||
#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 "EVT" | ||
static inline const char * config_fomu_rev_read(void) { | ||
return "EVT"; | ||
} | ||
#define CONFIG_FOMU_REV_EVT | ||
#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 |
Binary file not shown.
Oops, something went wrong.