vmlinuz on Android
<p>On a typical Linux system the kernel exists as a file vmlinuz-* (often in /boot).  Where is the kernel image on an Android device?  On my physical device (Samsung Galaxy Tabl 10.1 WiFi) and emulators, I don't see it anywhere.  </p>

<p>A related question: when you build the AOSP (following instructions at <a href="http://source.android.com/source/initializing.html" rel="nofollow">http://source.android.com/source/initializing.html</a>), is the Androidized Linux kernel built?  I see what look like prebuilt kernels for the emulator, but nothing for physical devices
    davids@ds-ub64-7:/aosp$ find . -name "vmlinu*"
    ./prebuilts/qemu-kernel/arm/vmlinux-qemu-armv7
    ./prebuilts/qemu-kernel/arm/vmlinux-qemu
    ./prebuilts/qemu-kernel/x86/vmlinux-vbox
    ./prebuilts/qemu-kernel/x86/vmlinux-qemu</p>

<p>Thanks!</p>
