Environment variables

Recognised by the make run / make linux / etc. entry points.

VarValuesDefaultEffect
DEBUGy / nny routes UART to a PTY, enables richer logging, and turns off release optimisations. Always set DEBUG=n when benchmarking.
LOGtrace / debug / info / warn / error / offinfoxlogger verbosity. trace is per-instruction.
X_HARTSinteger ≥ 11Guest hart count (cooperative scheduler).
X_FILEpathset by per-target MakefileELF to execute. Don't set manually — let make run resolve it.
DIFFTEST0 / 10Compile-in QEMU / Spike difftest backends.
AM_HOMEpath${workspace}/xamWhere xam HAL sources live.
XEMU_HOMEpath${workspace}/xemuWhere xemu workspace lives.
XLIB_HOMEpath${workspace}/xlibWhere xlib (klib) sources live.

CI-only

VarEffect
ECC_DISABLED_HOOKSDisable specific Everything-Claude-Code plugin hooks by hook ID.
ECC_HOOK_PROFILEminimal / standard / strict — coarse toggle.

Runtime (xdb REPL)

Not env vars — commands inside the monitor. See The xdb debugger.