我找不到使用SGX SDK确定最大可创建飞地的方法。有什么方法可以获取这些功能吗？这在云环境中尤其有用，在云环境下，您可以创建具有EPC部分的虚拟机，但您不知道所提供EPC的实际可用大小。
我发现的获得EPC部分值的唯一选项是为SGX驱动程序的输出过滤dmesg。
[ 2.451815] intel_sgx: EPC section 0x240000000-0x2bfffffff
如果我们用小数转换节的开始和结束，并从开始减去结束，我们就会得到一个以字节为单位的值，我们可以将其转换为gibiytes或mebiytes。
以下是本例的计算结果，单位为吉字节：
python3 -c 'print((0x2bfffffff - 0x240000000) / 1024 ** 3)'
1.9999999990686774