/* INCLUDES *****************************************************************/
-#include <ddk/ntddk.h>
+#include <hal.h>
+#define NDEBUG
#include <internal/debug.h>
+
/* FUNCTIONS *****************************************************************/
VOID HalQuerySystemInformation()