tree 56a7853961dced890a0f065022910a92324021c2
parent d4184b0de88a3bb61c9a7662b77424f2be5bb7cf
author Adam Jesionowski <jesionowski@google.com> 1651885189 +0000
committer Adam Jesionowski <jesionowski@google.com> 1651885189 +0000

Revert "Move IRQ numbers to config lib and annotate with corresp..."

Revert "Make PLIC_MAX_NUM_INT match top_matcha.h"

Revert "Make camkes IRQ numbers match top_matcha.h"

Revert "Make smc_plic.numberOfSources match top_matcha.h"

Revert submission 21323-top_matcha_irqs

Reason for revert: Breaks TimerService
Reverted Changes:
I40a840585:Make smc_plic.numberOfSources match top_matcha.h
I026a541a6:Move IRQ numbers to config lib and annotate with c...
I2873a0561:Make camkes IRQ numbers match top_matcha.h
Ida9efaf63:Make PLIC_MAX_NUM_INT match top_matcha.h

Change-Id: I1b6cf048c8f5f481769db34b2bfc9e7f0a51d3e5