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