Interrupts
Kernel profiles support checked declarations, metadata, generated entry stubs, privilege-transition frames, and IRETD.
DByte 12.0 · Systems
Contract§
Hosted and user profiles reject interrupts.
Mechanics§
Checked interrupt declarations classify no-error/error-code and same-privilege/CPL3-transition frames. Generated stubs use PUSHAD, normalize body arguments and return with IRETD; metadata is validated at link time then stripped.
Validation and failure§
Vector class, signature, unit result, visibility and address references are checked. Stubs do not implicitly send EOI, mutate PIC state or enable interrupts.
Evidence and boundary§
Disassembly plus QEMU vector traces prove public symbols point to stubs, local symbols hold bodies and hardware delivery returns through the canonical resume image.