[Openpvrsgx-devgroup] [openpvrsgx-devgroup/linux_openpvrsgx] Build fails with CONFIG_SGX_DEBUG (#2)

[H. Nikolaus Schaller]

> Am 30.03.2021 um 08:15 schrieb Mighty <notifications at github.com>:
> 
> 
> Patch did not work for me still same error
> 
I see - it was not exactly the same. So it may be a second issue. I'll take a look later.