diff --git a/BUILD.md b/BUILD.md index 5e33bd38..baaa97ac 100644 --- a/BUILD.md +++ b/BUILD.md @@ -9,6 +9,8 @@ DOCKER_BUILDKIT=1 docker build -t edb --secret id=signingkey,src=private.pem - < Add `--build-arg heapsize=x` where x is the desired enclave heap size in MB. By default, heap size is 1024 MB. +Add `--build-arg numtcs=x` where x is the desired number of TCS (max threads). By default, number of TCS is 64. + Add `--build-arg production=ON` to build a production enclave. By default, a debug enclave is built. Get the [era](https://github.com/edgelesssys/era) configuration: diff --git a/Dockerfile b/Dockerfile index 36a624e2..5778164a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -33,11 +33,13 @@ RUN cd edgelessdb && export SOURCE_DATE_EPOCH=$(git log -1 --pretty=%ct) && cd / && make -j`nproc` edb-enclave # sign edb -ARG heapsize=1024 production=OFF +ARG heapsize=1024 +ARG numtcs=64 +ARG production=OFF RUN --mount=type=secret,id=signingkey,dst=/edbbuild/private.pem,required=true \ cd edbbuild \ && . /opt/edgelessrt/share/openenclave/openenclaverc \ - && cmake -DHEAPSIZE=$heapsize -DPRODUCTION=$production /edgelessdb \ + && cmake -DHEAPSIZE=$heapsize -DNUMTCS=$numtcs -DPRODUCTION=$production /edgelessdb \ && make sign-edb \ && cat edgelessdb-sgx.json