|
@@ -4,9 +4,11 @@ CONFIG_NIOS2_HW_MUL_SUPPORT=y
|
|
|
CONFIG_NIOS2_HW_DIV_SUPPORT=y
|
|
|
CONFIG_CUSTOM_CACHE_SETTINGS=y
|
|
|
CONFIG_NIOS2_DCACHE_SIZE=0x8000
|
|
|
+CONFIG_NIOS2_DCACHE_LINE_SIZE=0x20
|
|
|
CONFIG_NIOS2_ICACHE_SIZE=0x8000
|
|
|
CONFIG_NIOS2_DTB_SOURCE_BOOL=y
|
|
|
CONFIG_NIOS2_DTB_SOURCE="10m50_devboard.dts"
|
|
|
CONFIG_CMDLINE_BOOL=y
|
|
|
CONFIG_NIOS2_PASS_CMDLINE=y
|
|
|
CONFIG_COMPAT_32BIT_TIME=y
|
|
|
+CONFIG_NIOS2_ALIGNMENT_TRAP=y
|