In my quest for info regarding cheap OS for a community centre, I came across this site. Seems decent
http://www.ctxchange.org/ctx/