build-kernel.sh: Update to support x86_64 kernels.
This updates the emulator kernel rebuild script in several ways:
- Support for --arch=x86_64 (need android-goldfish-3.10).
- Support for --gcc-version=<version>.
- Switch to GCC 4.7 by default, except for 2.6.29/x86 which doesn't build.
- Support for linux-3.10 x86 builds (config is i386_emu instead of goldfish).
- New naming: kernel-<version>-qemu-<arch> where <version> is the kernel
version, and <arch> is one of 'armv5, armv7, x86, x86_64 or mips'.
Note that putting the version number in the file name is important to
let the emulator adapt its kernel command-line to changes that appeared
recently (e.g. /dev/ttyS* -> /dev/ttyGF*).
I also checked that new kernels work in the following combinations:
android-goldfish-2.6.29 [arm, x86, mips]
android-goldfish-3.4 [arm, x86]
I could also build (but not run them yet):
android-goldfish-3.10 [x86, x86_64]
Change-Id: Ic66ca7a646f9cc3eb715a3c96ce3076cc17b6221
1 file changed