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