Nice to see all these new OS coming out.

I'm personally rooting for HURD (https://www.gnu.org/software/hurd/hurd.html) and Barrelfish(http://www.barrelfish.org/)