Make camkes IRQ numbers match top_matcha.h

Change-Id: I2873a0561ef7ff02c0fcc72577a681903f84b562
GitOrigin-RevId: 58149ca60a582af8934e9c6f9c55ebc9ce2fe274
This commit is contained in:
Austin Appleby
2022-05-05 17:35:44 -07:00
committed by Sam Leffler
parent 10f0ace32e
commit 3ba2688c2e

View File

@@ -19,7 +19,7 @@ import "components/ProcessManager/ProcessManager.camkes";
import "components/MlCoordinator/MlCoordinator.camkes";
import "components/MemoryManager/MemoryManager.camkes";
import "components/StorageManager/StorageManager.camkes";
import "components/SecurityCoordinator/SecurityCoordinator.camkes";
import "components/SecurityCoordinator/SecurityCoordinator.camkes";
import "components/TimerService/TimerService.camkes";
component OpenTitanUART {
@@ -171,17 +171,17 @@ assembly {
vctop.itcm_size = 0x100000;
vctop.dtcm_paddr = 0x34000000;
vctop.dtcm_size = 0x1000000;
vctop.host_req_irq_number = 11;
vctop.finish_irq_number = 12;
vctop.instruction_fault_irq_number = 13;
vctop.data_fault_irq_number = 14;
vctop.host_req_irq_number = 13; // kTopMatchaPlicIrqIdVcTopHostReq @ top_matcha.h
vctop.finish_irq_number = 14; // kTopMatchaPlicIrqIdVcTopFinish @ top_matcha.h
vctop.instruction_fault_irq_number = 15; // kTopMatchaPlicIrqIdVcTopInstructionFault @ top_matcha.h
vctop.data_fault_irq_number = 16; // kTopMatchaPlicIrqIdVcTopDataFault @ top_matcha.h
vc_payload.elf_file_paddr = 0x46000000;
vc_payload.elf_file_size = 0x1000000;
timer.csr_paddr = 0x50030000;
timer.csr_size = 0x1000;
timer.timer_interrupt_irq_number = 15;
timer.timer_interrupt_irq_number = 9; // kTopMatchaPlicIrqIdRvTimerSmcTimerExpiredHart0Timer0 @ top_matcha.h
random.ID = 1;