blob: ba0896a9a6aecfd2f44acb252fbe772e60e6a2f9 [file] [log] [blame]
/* Work around missing PCI BIOS calls in the cut-down SeaBIOS found in
* some AWS EC2 instances.
*/
#ifdef PLATFORM_pcbios
#undef PCIAPI_PCBIOS
#define PCIAPI_CLOUD
#endif