* Add BIOS configuration. * Add memory check for SGX, i.e., `Installed Memory = Total Memory + 2 * PRMRR`. * Add BTF issues for installing SGX driver. * Refine 2 known issue solutions.
* Add install from install package * Rename file to install_sgx_driver * Rename title to Install SGX Driver on Xeon Server * Add vmlinux-gdb issue