mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
The interrupt stack must reside in the mtc region in order to use it for non-core threads. The size of the stack is set to 56 bytes in order to hold the interrupt stack frame plus the additional vector number that is pushed onto the stack by the ISR.