Applied, thanks!
Luca Dariz, le sam. 29 juil. 2023 19:45:14 +0200, a ecrit:
> * i386/i386/idt.c: add selector for the interrupt-specific stack
> * i386/i386/ktss.c: configure ist1 to use a dedicated stack
> * i386/i386/trap.c: add double fault handler, which just prints the
> state and panics. T
* i386/i386/idt.c: add selector for the interrupt-specific stack
* i386/i386/ktss.c: configure ist1 to use a dedicated stack
* i386/i386/trap.c: add double fault handler, which just prints the
state and panics. There is not much else to do in this case but it's
useful for troubleshooting
* x86_
