$FreeBSD$

--- fbsd_timer.c.orig	Mon Apr  3 23:42:44 2000
+++ fbsd_timer.c	Sat Sep 22 22:20:03 2001
@@ -2,7 +2,8 @@
 #include <stdlib.h>
 #include <time.h>
 #include <sys/time.h>
-#include <machine/console.h>
+#include <sys/fbio.h>
+#include <sys/consio.h>
 #include <vgl.h>
 
 #include "def.h"