Builtins.h revision 185b845e9aa9820ace6116eef915f39e35fcd1be
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * Built-in drivers & devices (part 1) header.
b2cb7a03a79ad2e40f4e470acbc87881781e798evboxsync * Copyright (C) 2006-2010 Oracle Corporation
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * available from http://www.virtualbox.org. This file is free software;
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * you can redistribute it and/or modify it under the terms of the GNU
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * General Public License (GPL) as published by the Free Software
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
174f3dff60f96d89b320f9a322307118676db1dbvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
5281ff0370e0f0639507405007e100014e1f1e71vboxsync/** The default BIOS logo data. */
174f3dff60f96d89b320f9a322307118676db1dbvboxsyncextern const unsigned char g_abVgaDefBiosLogo[];
174f3dff60f96d89b320f9a322307118676db1dbvboxsync/** The size of the default BIOS logo data. */
174f3dff60f96d89b320f9a322307118676db1dbvboxsyncextern const unsigned g_cbVgaDefBiosLogo;
174f3dff60f96d89b320f9a322307118676db1dbvboxsync/** The EFI thunk binary. */
174f3dff60f96d89b320f9a322307118676db1dbvboxsyncextern const unsigned char g_abEfiThunkBinary[];
174f3dff60f96d89b320f9a322307118676db1dbvboxsync/** The size of the EFI thunk binary. */
174f3dff60f96d89b320f9a322307118676db1dbvboxsyncextern const unsigned g_cbEfiThunkBinary;