#include <stdint.h>
#include "common/hardware/hwregs.h"
#include "common/hardware/irq.h"
#include "openbios/main/splash.h"