mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
Always switch to the "exception stack" instead of having a hardware initiated stack switch during exceptions/interrupts when the privilege level changes only. Moreover, this commit increases the exception stack slightly. Ref #2091