I am Paul Schenker, co-founder of CampOS, a Gentoo-based client/server system aimed at schools. We have a clean working system in operation, with 99.9% uptime since over 3 years, and we concentrate now on the creation of school applications. Marketingwise we are not yet very active.I would be interested to explore the possibility of cooperating with educational Debian - like Skole Linux.