-/* Automatically generated, don't edit */
+/* Automatically generated, Edit the Makefile to change configuration */
+#ifndef __NTOSKRNL_INCLUDE_INTERNAL_CONFIG_H
+#define __NTOSKRNL_INCLUDE_INTERNAL_CONFIG_H
#define DBG
-#define KDBG
#define UP
+#define CONFIG "DBG UP"
+#endif /* __NTOSKRNL_INCLUDE_INTERNAL_CONFIG_H */