Tools to generate a Debian Linux distribution with chipsec to test hardware requirements - View it on GitHub