Not copyright, but possibly trademarked. Even in that case, it only applies to use in areas in which the mark is already being used. So while it would be trademark infringement to sell albums under that name, releasing an OS would be fine unless someone else is also planning on doing the same thing and applied for a trademark in that area.