Native intrinsics
Narrow typed kernel capabilities expose CPU and port I/O operations.
DByte 12.0 · Systems
Contract§
There is no generic inline assembly escape hatch.
Mechanics§
native.* exposes narrow typed capabilities for descriptors, flags, control registers, ports, TLB invalidation and scheduler transitions. Each encoder form validates operands and capacity before bytes are committed.
Validation and failure§
Hosted and user profiles reject privileged intrinsics. There is no textual inline assembly, generic software interrupt or unchecked linker-symbol escape hatch.
Evidence and boundary§
Exact-byte unit tests and target disassembly prove the bounded instruction surface actually used by kernel proofs.