Tools to generate a list of vboot enabled devices to the documentation
`Bash`