mirror of https://github.com/ipxe/ipxe.git
Use new minimal shell
parent
4919646fb9
commit
38ad706b08
|
@ -31,6 +31,8 @@ Literature dealing with the network protocols:
|
||||||
#include <gpxe/device.h>
|
#include <gpxe/device.h>
|
||||||
#include <gpxe/heap.h>
|
#include <gpxe/heap.h>
|
||||||
#include <gpxe/netdevice.h>
|
#include <gpxe/netdevice.h>
|
||||||
|
#include <gpxe/shell.h>
|
||||||
|
#include <gpxe/shell_banner.h>
|
||||||
|
|
||||||
/* Linker symbols */
|
/* Linker symbols */
|
||||||
extern char _bss[], _ebss[];
|
extern char _bss[], _ebss[];
|
||||||
|
@ -155,9 +157,12 @@ int main ( void ) {
|
||||||
call_init_fns ();
|
call_init_fns ();
|
||||||
probe_devices();
|
probe_devices();
|
||||||
|
|
||||||
|
if ( shell_banner() ) {
|
||||||
|
shell();
|
||||||
|
}
|
||||||
|
|
||||||
netdev = next_netdev ();
|
netdev = next_netdev ();
|
||||||
if ( netdev ) {
|
if ( netdev ) {
|
||||||
cmdl_start();
|
|
||||||
test_dhcp ( netdev );
|
test_dhcp ( netdev );
|
||||||
} else {
|
} else {
|
||||||
printf ( "No network device found\n" );
|
printf ( "No network device found\n" );
|
||||||
|
|
Loading…
Reference in New Issue