And to run a 64-bit UEFI bootable ISO image:\r
$ OvmfPkg/build.sh -a X64 qemu -cdrom /path/to/disk-image.iso\r
\r
-To build a 32-bit OVMF without debug messages using GCC 4.5:\r
-$ OvmfPkg/build.sh -a IA32 -b RELEASE -t GCC45\r
+To build a 32-bit OVMF without debug messages using GCC 4.8:\r
+$ OvmfPkg/build.sh -a IA32 -b RELEASE -t GCC48\r
\r
=== SMM support ===\r
\r
remaining OVMF firmware then uses this decompressed firmware\r
volume image.\r
\r
-=== UNIXGCC Debug ===\r
-\r
-If you build with the UNIXGCC toolchain, then debugging will be disabled\r
-due to larger image sizes being produced by the UNIXGCC toolchain. The\r
-first choice recommendation is to use GCC44 or newer instead.\r
-\r
-If you must use UNIXGCC, then you can override the build options for\r
-particular libraries and modules in the .dsc to re-enable debugging\r
-selectively. For example:\r
- [Components]\r
- OvmfPkg/Library/PlatformBootManagerLib/PlatformBootManagerLib.inf {\r
- <BuildOptions>\r
- GCC:*_*_*_CC_FLAGS = -UMDEPKG_NDEBUG\r
- }\r
- MdeModulePkg/Universal/BdsDxe/BdsDxe.inf {\r
- <BuildOptions>\r
- GCC:*_*_*_CC_FLAGS = -UMDEPKG_NDEBUG\r
- }\r
-\r
=== UEFI Windows 7 & Windows 2008 Server ===\r
\r
* One of the '-vga std' and '-vga qxl' QEMU options should be used.\r