From 38ad706b0896f789382b0123b911fb81637834c2 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Wed, 20 Dec 2006 00:26:01 +0000
Subject: [PATCH] Use new minimal shell

---
 src/core/main.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/core/main.c b/src/core/main.c
index 4a78d751..191ba841 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -31,6 +31,8 @@ Literature dealing with the network protocols:
 #include <gpxe/device.h>
 #include <gpxe/heap.h>
 #include <gpxe/netdevice.h>
+#include <gpxe/shell.h>
+#include <gpxe/shell_banner.h>
 
 /* Linker symbols */
 extern char _bss[], _ebss[];
@@ -155,9 +157,12 @@ int main ( void ) {
 	call_init_fns ();
 	probe_devices();
 
+	if ( shell_banner() ) {
+		shell();
+	}
+
 	netdev = next_netdev ();
 	if ( netdev ) {
-		cmdl_start();
 		test_dhcp ( netdev );
 	} else {
 		printf ( "No network device found\n" );