sshsshy f6c72ae8f6 Tweaks to check for SGX driver %!s(int64=2) %!d(string=hai) anos
..
gen_graphs.py f6c72ae8f6 Tweaks to check for SGX driver %!s(int64=2) %!d(string=hai) anos