WSEGL plugin for SGX drivers