Surely the government should be running their own hardware and doing their own software updates. Lots of governments in Europe have had success with using Linux to do this.