/config/ilp32-dev/

• ../
• gcc.conf
• glibc.conf
• linux.conf