software:sgx-avail