# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1233575402 21600
# Node ID c1659b564005d22679b369e5cd032014305f6ce7
# Parent  2b6d9dd9f6b3b29ba49857996c0c2a12cbcf91f3
Helps to grab the right kernel image.

diff -r 2b6d9dd9f6b3 -r c1659b564005 sources/targets/powerpc/details
--- a/sources/targets/powerpc/details	Mon Feb 02 03:48:31 2009 -0600
+++ b/sources/targets/powerpc/details	Mon Feb 02 05:50:02 2009 -0600
@@ -1,7 +1,7 @@
 # Power PC system
 
 KARCH=powerpc
-KERNEL_PATH=arch/${KARCH}/boot/zImage
+KERNEL_PATH=vmlinux
 GCC_FLAGS=
 BINUTILS_FLAGS=
 QEMU_TEST= #ppc