[build]
target = "x86_64-fortanix-unknown-sgx"