Reproducible builds and testing environments

Hardware requirements for SGX

• Is there IPMI support on the NUC7CJYH?
• There is a similar technology called Intel AMT.
• Running an AMT check on the NUC7CJYH produces the result Error: Management Engine refused connection. This probably means you don't have AMT
• Are there other NUC models that support SGX2?
• Are SGX features accessible from a VM?

Testing static binary for SGX

• We need a Linux kernel with these patches: https://lkml.org/lkml/2019/10/28/772
• Fedora sources are here: https://src.fedoraproject.org/rpms/kernel/tree/master
• Possibility of using NixOS?