kaffe/config/ia64
