gnugen / Infrastructure / CoreOS Ignition