KESL서버를 찾을 수 없네요?

얼마전에 "리눅스를 이용한 독립 장비 개발"이라는 서버가
www.kesl.org에 있었던것 같은데, 우리쪽 DNS가 문제있는지 도무지
접근이 안됩니다. 혹시 서버가 바뀌었는지, 아니면 어떤
문제가 발생했는지 아시는 분이 있는지요?