- [sources.x64]\r
- ia32\ver32.c\r
-\r
- since current build tools (r4631) do not support this syntax in EDK INF format.\r
-\r
-5. Under workspace directory (i.e. c:\EdkII), execute:\r
- build -a IA32 -a X64 -a IPF -p EdkShellBinPkg\GenBin\EdkShellPkg.dsc -t WINDDK3790x1830\r
- The use of WINDDK instead of MYTOOLS is due to the fact that EDK shell source 1.04 is not\r
- VS2005 clean.\r
-\r
-6. Copy the binaries from Build directory to this package. Typically the EFI binary\r
- of EdkCompatibility\Shell\$(INF_BASENAME).inf is generated at:\r
- Build\EdkShellPkg\DEBUG_WINDDK3790x1830\$(ARCH)\EdkCompatibility\Shell\$(INF_BASENAME)\OUTPUT\$(BASENAME).efi\r
- For example:\r
- The x64 EFI image of EdkCompatibility\Shell\ver\ver.inf is generated at:\r
- Build\EdkShellPkg\DEBUG_WINDDK3790x1830\X64\EdkCompatibilityPkg\Shell\ver\Ver\OUTPUT\ver.efi\r
-\r
-Note: Other\Maintained\Application\Shell\Shell.inf corresponds to Minimum shell binaries.\r
- Other\Maintained\Application\Shell\ShellFull.inf corresponds to Full Shell binaries.
\ No newline at end of file
+The Arm binaries of EdkShellBinPkg are generated with EFI shell project (svn r64) and build with Edk Compatibility & BaseTools Package (r14706).\r
+Build Instructions are available on this page http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=ArmPkg/Binaries.\r