code wiki / kernel
topic: kernel
6 modules sharing the kernel name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_kernel_adoption.nx | THE SECOND AXIS: does the feature actually RUN in the live boot? | 264 | 8 |
| nx_kernel_census.nx | KERNEL/OS/DRIVER/GRAPHICS competitive census (operator 2026-06-13: | 288 | 11 |
| nx_kernel_sched_test.nx | x86 ladder R-kernel rung-1: a SCHEDULER (the heart of an OS). | 102 | 8 |
| nx_kernel_v2.nx | SEMANTIC proof kernel. Real verification, not | 725 | 34 |
| nx_kernel_v2_discharge_test.nx | ASSUMPTION + IMP_INTRO + NOT_INTRO | 152 | 1 |
| nx_kernel_v2_test.nx | exercise the semantic kernel. | 104 | 1 |