a2488a7c4fed183b42dcad1e94a50c9603d815f5
6 /* Our own BLUE.SYS Driver for Console Output */
7 #include <ddk/ntddblue.h>
9 /* External Winlogon Header */
12 /* Internal CSRSS Headers */
15 #include <csrplugin.h>
16 #include <desktopbg.h>
17 #include "guiconsole.h"
18 #include "tuiconsole.h"