#
# MINIMAL-NODEBUG -- Non-debug MINIMAL kernel.
# This is the MINIMAL equivalent to GENERIC-NODEBUG.
#NO_UNIVERSE
include MINIMAL
include "std.nodebug"
ident MINIMAL-NODEBUG