diff --git a/src/devices/vga.h b/src/devices/vga.h
new file mode 100644
index 0000000000000000000000000000000000000000..59690fb734a1c3abf8e1cc35fff916c6633aa3a6
--- /dev/null
+++ b/src/devices/vga.h
@@ -0,0 +1,6 @@
+#ifndef DEVICES_VGA_H
+#define DEVICES_VGA_H
+
+void vga_putc (int);
+
+#endif /* devices/vga.h */