linux-stable-rt/arch/ia64/configs
..
bigsur_defconfig
generic_defconfig
gensparse_defconfig
sim_defconfig
tiger_defconfig
zx1_defconfig