UBUNTU: ppc64 -- add basic architecture

[linux-flexiantxendom0-natty.git] / debian.master / etc / kernelconfig

diff --git a/debian.master/etc/kernelconfig b/debian.master/etc/kernelconfig
index 7295986..ddd0c3b 100644 (file)
--- a/debian.master/etc/kernelconfig
+++ b/debian.master/etc/kernelconfig
@@ -2,6 +2,6 @@ if [ "$variant" = "ports" ]; then
        archs=""
        family='ports'
 else
-       archs="amd64 i386 armel powerpc"
+       archs="amd64 i386 armel powerpc ppc64"
        family='ubuntu'
 fi