On Mon, Jul 06, 2020 at 02:32:26PM +0200, Andreas Schwab wrote: > With the current 8KB stack size there are frequent overflows in a 64-bit > configuration. Adding irqstack support would be the better fix..