確定最大可創建 SGX 飛地 (EPC)

Question

我找不到使用SGX SDK確定最大可創建飛地的方法。 有沒有辦法獲取這些功能？ 這在您可以創建具有 EPC 部分的虛擬機並且您不知道已配置 EPC 的實際可用大小的雲環境中特別有用。

Answer 1

我發現獲得 EPC 部分值的唯一選項是為 SGX 驅動程序的 output 過濾 dmesg。

[    2.451815] intel_sgx: EPC section 0x240000000-0x2bfffffff

如果我們將部分的開頭和結尾轉換為十進制並從開頭減去結尾，我們會得到一個字節值，我們可以將其轉換為千兆字節或兆字節。

以下是此示例的計算結果和以千兆字節為單位的結果：

python3 -c 'print((0x2bfffffff - 0x240000000) / 1024 ** 3)'
1.9999999990686774