From 839d425c6ea6d3ff5872baa3ffe6818a9d30bd6c Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Wed, 20 Dec 2006 23:43:44 +0000
Subject: [PATCH] Added missing header

---
 src/core/main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/main.c b/src/core/main.c
index 1b813085..59f710ac 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -33,6 +33,7 @@ Literature dealing with the network protocols:
 #include <gpxe/netdevice.h>
 #include <gpxe/shell.h>
 #include <gpxe/shell_banner.h>
+#include <gpxe/autoboot.h>
 
 /* Linker symbols */
 extern char _bss[], _ebss[];