coreboot-kgpe-d16/util/mma
..
mma_get_result.sh
mma_setup_test.sh