Skip to main content

Module config

Module config 

Source
Expand description

Compile-time kernel configuration (plan.md §4.1).

Generated by build.rs from the RIVET_* environment variables; see rivet/build.rs for the full list and defaults. The whole kernel sizes itself from these constants — every array is [T; MAX_*].

Constants§

MAX_HARTS
MAX_HELD
MAX_IRQS
MAX_PTASKS
MAX_TASKS
MAX_TIMERS
PRIORITY_LEVELS
TICK_HZ