Home / kernel / people / marcelo / linux-2.4 / arch / ia64 / sn / configs