File config.conf of Package kernel-source-rt

# Kernel configuration file selection.
# (See series.conf for a list of symbols defined.)

#
# IMPORTANT: the subdirectory names map to cpuarch
#            kernel-binary and kernel-source rely on this
#

+IA32 		i386/rt
+IA32 		i386/rt_debug
+IA32 		i386/rt_pae
+IA32 		i386/rt_timing
+IA32 		i386/rt_trace

+x86_64		x86_64/rt
+x86_64		x86_64/rt_debug
+x86_64		x86_64/rt_timing
+x86_64		x86_64/rt_trace