···46 '';
4748 patches = [
0000049 # Commit to add missing sgx_ippcp.h not yet part of this release
50 (fetchpatch {
51 name = "add-missing-sgx_ippcp-header.patch";
···46 '';
4748 patches = [
49+ # Fix missing pthread_compat.h, see https://github.com/intel/linux-sgx/pull/784
50+ (fetchpatch {
51+ url = "https://github.com/intel/linux-sgx/commit/254b58f922a6bd49c308a4f47f05f525305bd760.patch";
52+ sha256 = "sha256-sHU++K7NJ+PdITx3y0PwstA9MVh10rj2vrLn01N9F4w=";
53+ })
54 # Commit to add missing sgx_ippcp.h not yet part of this release
55 (fetchpatch {
56 name = "add-missing-sgx_ippcp-header.patch";