2008-07-18 12:15:21 +02:00
|
|
|
# Kernel configuration file selection.
|
|
|
|
|
# (See series.conf for a list of symbols defined.)
|
|
|
|
|
|
|
|
|
|
+IA32 i386/default
|
|
|
|
|
+IA32 i386/pae
|
|
|
|
|
+IA32 i386/debug
|
2008-08-28 02:19:28 +02:00
|
|
|
+IA32 i386/xen
|
2008-07-18 12:15:21 +02:00
|
|
|
+IA32 i386/vanilla
|
2008-10-09 14:44:05 +02:00
|
|
|
+IA32 - i386/rt
|
|
|
|
|
+IA32 - i386/rt_debug
|
2008-09-29 18:18:36 +02:00
|
|
|
+IA32 i386/trace
|
2008-07-18 12:15:21 +02:00
|
|
|
|
|
|
|
|
+ia64 ia64/default
|
|
|
|
|
+ia64 ia64/debug
|
|
|
|
|
+ia64 ia64/vanilla
|
2008-09-29 18:18:36 +02:00
|
|
|
+ia64 ia64/trace
|
2008-07-18 12:15:21 +02:00
|
|
|
|
|
|
|
|
+x86_64 x86_64/default
|
2008-08-28 02:19:28 +02:00
|
|
|
+x86_64 x86_64/xen
|
2008-07-18 12:15:21 +02:00
|
|
|
+x86_64 x86_64/debug
|
|
|
|
|
+x86_64 x86_64/vanilla
|
2008-10-09 14:44:05 +02:00
|
|
|
+x86_64 - x86_64/rt
|
|
|
|
|
+x86_64 - x86_64/rt_debug
|
|
|
|
|
+x86_64 - x86_64/rt_timing
|
2008-09-29 18:18:36 +02:00
|
|
|
+x86_64 x86_64/trace
|
2008-07-18 12:15:21 +02:00
|
|
|
|
|
|
|
|
+PPC powerpc/default
|
|
|
|
|
+PPC powerpc/ppc64
|
|
|
|
|
+PPC powerpc/kdump
|
|
|
|
|
+PPC powerpc/vanilla
|
2008-09-29 18:18:36 +02:00
|
|
|
+PPC - powerpc/rt
|
2008-07-18 12:15:21 +02:00
|
|
|
+PPC powerpc/ps3
|
|
|
|
|
|
|
|
|
|
+s390 s390/s390
|
|
|
|
|
+s390x s390/default
|
2008-10-09 14:44:05 +02:00
|
|
|
+s390x s390/vanilla
|
