I think redox might be larger as well

http://www.redox-os.org/