/* source for armel-linux.kernel.vmlinuz.S
 * is same as   arm-linux.kernel.vmlinux.S
 * and has been factored out in p_vmlinz.cpp by using:
 *    #include "stub/arm.v5a-linux.kernel.vmlinux.h"
 */
#include "arm.v5a-linux.kernel.vmlinux.S"

/* vim:set ts=8 sw=8 et: */
