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