1
/* tag: openbios boot command for x86
3
* Copyright (C) 2003-2004 Stefan Reinauer
5
* See the file "COPYING" for further information about
6
* the copyright and warranty status of this work.
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"
21
/* No platform-specific boot code */