/debian/config/kernelarch-s390/

• ../
• config
• config-arch-64