#include "openbios/kernel/misc.h"
#include "common/hardware/hwregs.h"
#include "openbios/fileio/fileio.h"
#include "openbios/kernel/globals.h"