# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1540920142 -3600
# Node ID d103800bffdadfb6294e20d9983f16adbe8b3d03
# Parent  b2241b813d16376a9188d9f32fe403aec234a46c
Included VGA definitions to support ordering-independent inclusion of this file.

diff -r b2241b813d16 -r d103800bffda include/display_config.h
--- a/include/display_config.h	Tue Oct 30 18:20:54 2018 +0100
+++ b/include/display_config.h	Tue Oct 30 18:22:22 2018 +0100
@@ -22,6 +22,7 @@
 #define __DISPLAY_CONFIG_H__
 
 #include "display.h"
+#include "vga.h"
 
 uint8_t framebuffer[SCREEN_SIZE];