sshsshy f6c72ae8f6 Tweaks to check for SGX driver 2 vuotta sitten
..
gen_graphs.py f6c72ae8f6 Tweaks to check for SGX driver 2 vuotta sitten