2008-07-18 12:15:21 +02:00
|
|
|
# Kernel configuration file selection.
|
2009-08-01 11:17:24 +02:00
|
|
|
# See the arch-symbols script for a list of symbols defined.
|
|
|
|
# -syms excludes a flavor from the kernel-syms package (vanilla is excluded
|
|
|
|
# automatically).
|
2008-07-18 12:15:21 +02:00
|
|
|
|
2008-11-11 15:45:48 +01:00
|
|
|
#
|
|
|
|
# IMPORTANT: the subdirectory names map to cpuarch
|
|
|
|
# kernel-binary and kernel-source rely on this
|
|
|
|
#
|
|
|
|
|
2009-05-20 10:59:36 +02:00
|
|
|
+i386 i386/default
|
2009-07-21 12:14:09 +02:00
|
|
|
+i386 i386/desktop
|
2009-05-25 17:28:04 +02:00
|
|
|
+i386 i386/pae
|
2009-11-27 14:28:36 +01:00
|
|
|
+i386 -syms i386/debug
|
2011-06-11 07:01:56 +02:00
|
|
|
#+i386 i386/xen
|
|
|
|
#+i386 -syms i386/ec2
|
2009-05-20 10:59:36 +02:00
|
|
|
+i386 i386/vanilla
|
2009-08-01 11:17:24 +02:00
|
|
|
+i386 -syms i386/trace
|
2008-07-18 12:15:21 +02:00
|
|
|
|
|
|
|
+ia64 ia64/default
|
2009-08-01 11:17:24 +02:00
|
|
|
+ia64 -syms ia64/debug
|
2008-07-18 12:15:21 +02:00
|
|
|
+ia64 ia64/vanilla
|
2009-08-01 11:17:24 +02:00
|
|
|
+ia64 -syms ia64/trace
|
2008-07-18 12:15:21 +02:00
|
|
|
|
|
|
|
+x86_64 x86_64/default
|
2009-07-21 12:14:09 +02:00
|
|
|
+x86_64 x86_64/desktop
|
2011-06-11 07:01:56 +02:00
|
|
|
#+x86_64 x86_64/xen
|
|
|
|
#+x86_64 -syms x86_64/ec2
|
2009-11-27 14:28:36 +01:00
|
|
|
+x86_64 -syms x86_64/debug
|
2008-07-18 12:15:21 +02:00
|
|
|
+x86_64 x86_64/vanilla
|
2009-08-01 11:17:24 +02:00
|
|
|
+x86_64 -syms x86_64/trace
|
2008-07-18 12:15:21 +02:00
|
|
|
|
2008-11-08 19:28:50 +01:00
|
|
|
# openSuSE:
|
|
|
|
# G3 G4 bPlan
|
|
|
|
+ppc ppc/default
|
|
|
|
# G5 PS3 pSeries
|
|
|
|
+ppc ppc/ppc64
|
|
|
|
# PS3 bootloader
|
2009-11-27 14:28:36 +01:00
|
|
|
+ppc -syms ppc/ps3
|
2008-11-08 19:28:50 +01:00
|
|
|
# maybe the kernels above were patched to death?
|
|
|
|
+ppc ppc/vanilla
|
|
|
|
|
|
|
|
# SLES
|
2008-11-11 15:45:48 +01:00
|
|
|
# identical to ppc64 flavor, all KMP packages need a kernel-default
|
|
|
|
# Up to now, the openSuSE 11.1 ppc media can not have a
|
|
|
|
# kernel-default.ppc.rpm and a kernel-default.ppc64.rpm to continue
|
|
|
|
# supporting 32bit and 64bit systems.
|
2008-11-08 19:28:50 +01:00
|
|
|
+ppc64 ppc64/default
|
|
|
|
# G5 pSeries
|
2008-11-11 15:45:48 +01:00
|
|
|
+ppc64 ppc64/ppc64
|
2010-01-29 14:27:16 +01:00
|
|
|
+ppc64 -syms ppc64/trace
|
2009-11-27 14:28:36 +01:00
|
|
|
+ppc64 -syms ppc64/debug
|
2008-11-08 19:28:50 +01:00
|
|
|
# maybe the kernels above were patched to death?
|
|
|
|
+ppc64 ppc64/vanilla
|
2008-07-18 12:15:21 +02:00
|
|
|
|
|
|
|
+s390 s390/s390
|
2010-01-29 14:27:16 +01:00
|
|
|
+s390 -syms s390/trace
|
2009-05-20 10:59:36 +02:00
|
|
|
+s390 s390/vanilla
|
2009-08-01 11:17:24 +02:00
|
|
|
+s390x s390x/default
|
2010-01-29 14:27:16 +01:00
|
|
|
+s390x -syms s390x/trace
|
2009-08-01 11:17:24 +02:00
|
|
|
+s390x s390x/vanilla
|
2010-04-08 15:15:36 +02:00
|
|
|
|
2011-04-20 07:02:59 +02:00
|
|
|
# Maintained by jengelh
|
|
|
|
# +sparc64 sparc64/default
|
|
|
|
# +sparc64 -syms sparc64/net
|