@@ -37,6 +37,6 @@ ifeq ($(PLATFORM_RISCV_XLEN), 32)
FW_PAYLOAD_OFFSET=0x400000
else
# This needs to be 2MB aligned for 64-bit system
- FW_PAYLOAD_OFFSET=0x200000
+ FW_PAYLOAD_OFFSET=0x20000
endif
FW_PAYLOAD_FDT_ADDR=0x88000000
@@ -28,7 +28,7 @@
#define VIC7100_CLINT_ADDR 0x2000000
#define VIC7100_PLIC_ADDR 0xc000000
-#define VIC7100_PLIC_NUM_SOURCES 0x35
+#define VIC7100_PLIC_NUM_SOURCES 0x7f
#define VIC7100_PLIC_NUM_PRIORITIES 7
#define VIC7100_UART0_ADDR 0x12440000