Hi all. The MINIMAL configuration file at STABLE-11 has full debugging support enabled along with: # For full debugger support use (turn off in stable branch): Was that intentional to leave extra debugging/witness/invariants on in stable for MINIMAL kernel? Thanks in advance. -- Sphinx of black quartz judge my vow.