Salt Stack Formula to set up and configure Linux, an operating system kernel