1 /* tag: openbios boot command for x86
2  *
3  * Copyright (C) 2003-2004 Stefan Reinauer
4  *
5  * See the file "COPYING" for further information about
6  * the copyright and warranty status of this work.
7  */
8 
9 #undef BOOTSTRAP
10 #include "config.h"
11 #include "libopenbios/bindings.h"
12 #include "arch/common/nvram.h"
13 #include "libc/diskio.h"
14 #include "libopenbios/initprogram.h"
15 #include "libopenbios/sys_info.h"
16 #include "boot.h"
17 
18 
boot(void)19 void boot(void)
20 {
21 	/* No platform-specific boot code */
22 	return;
23 }
24