* since there is already support for them via the VideoPortInt10 routine.
*/
-#include <ddk/ntddk.h>
#include <hal.h>
+#define NDEBUG
+#include <debug.h>
+
#define SCREEN_SYNCHRONIZATION
#define CHAR_ATTRIBUTE_BLACK 0x00 /* black on black */
-#define CHAR_ATTRIBUTE 0x17 /* grey on blue */
+#define CHAR_ATTRIBUTE 0x07 /* grey on black */
#define FONT_AMOUNT (8*8192)