/dist/etc/vxworks/

• ../
• config-5.5.1.make
• config-6.4-max.make
• config-6.4-min.make
• config-6.7-max.make
• config-6.7-min.make