Makefile 425 B

1234567
  1. $(info "CONFIG_MICROTRUST_TEE_SUPPORT=$(CONFIG_MICROTRUST_TEE_SUPPORT)")
  2. $(info "CONFIG_MICROTRUST_TZ_DRIVER=$(CONFIG_MICROTRUST_TZ_DRIVER)")
  3. $(info "CONFIG_MICROTRUST_VFS_DRIVER=$(CONFIG_MICROTRUST_VFS_DRIVER)")
  4. $(info "CONFIG_MICROTRUST_FP_DRIVER=$(CONFIG_MICROTRUST_FP_DRIVER)")
  5. obj-$(CONFIG_MICROTRUST_TZ_DRIVER) += tz_driver/
  6. obj-$(CONFIG_MICROTRUST_VFS_DRIVER) += tz_vfs/
  7. obj-$(CONFIG_MICROTRUST_FP_DRIVER) += teei_fp/