Andreas Kling f0a1d9bfa5 Kernel: Mark the x86 IDT as READONLY_AFTER_INIT ...

We never need to modify the interrupt descriptor table after finishing
initialization, so let's make it an error to do so.

2021-02-14 18:12:00 +01:00

..

i386

Kernel: Mark the x86 IDT as READONLY_AFTER_INIT

2021-02-14 18:12:00 +01:00

PC

Kernel: Assert if rounding-up-to-page-size would wrap around to 0

2021-02-14 10:01:50 +01:00