You may follow the link here:
http://arstechnica.com/information-technology/2013/10/the-navys-newest-warship-is-powered-by-linux/