Messages in this thread | | | Date | Thu, 21 Jun 2018 14:55:11 +0200 | From | Ingo Molnar <> | Subject | Re: [PATCH v11 00/13] Intel SGX1 support |
| |
* Jarkko Sakkinen <jarkko.sakkinen@linux.intel.com> wrote:
> create mode 100644 drivers/platform/x86/intel_sgx/Kconfig > create mode 100644 drivers/platform/x86/intel_sgx/Makefile > create mode 100644 drivers/platform/x86/intel_sgx/le/Makefile > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/Makefile > create mode 120000 drivers/platform/x86/intel_sgx/le/enclave/aesni-intel_asm.S > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/cmac_mode.c > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/cmac_mode.h > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/encl_bootstrap.S > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/main.c > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/main.h > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/sgx_le.lds > create mode 100644 drivers/platform/x86/intel_sgx/le/enclave/sgxsign.c > create mode 120000 drivers/platform/x86/intel_sgx/le/enclave/string.c > create mode 100644 drivers/platform/x86/intel_sgx/le/entry.S > create mode 100644 drivers/platform/x86/intel_sgx/le/include/sgx_asm.h > create mode 100644 drivers/platform/x86/intel_sgx/le/main.c > create mode 100644 drivers/platform/x86/intel_sgx/le/main.h > create mode 100644 drivers/platform/x86/intel_sgx/le/sgx_le_piggy.S > create mode 100644 drivers/platform/x86/intel_sgx/le/string.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx.h > create mode 100644 drivers/platform/x86/intel_sgx/sgx_encl.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx_encl_page.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx_fault.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx_ioctl.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx_le.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx_le_proxy_piggy.S > create mode 100644 drivers/platform/x86/intel_sgx/sgx_main.c > create mode 100644 drivers/platform/x86/intel_sgx/sgx_vma.c
Just some quick feedback: these are core kernel functionality and should be in arch/x86/, not in drivers/platform/.
Thanks,
Ingo
| |