--- Gnu-Mach/util/puts.c	2020/09/02 04:36:59	1.1.1.1
+++ Gnu-Mach/util/puts.c	2020/09/02 04:47:10	1.1.1.2
@@ -21,6 +21,9 @@
  *      Author: Bryan Ford, University of Utah CSL
  */
 
+#include <device/cons.h>
+#include <util/putchar.h>
+
 /* Simple puts() implementation that just uses putchar().
    Note that our libc's printf() is implemented
    in terms of only puts() and putchar(), so that's all we need.  */