DevKit

Faster, Safer, Easier TEE Development.

DevKit is a tooling package built to accelerate development, improve code quality, and ensure consistency across Private Compute Infrastructure Toolkit projects utilizing Trusted Execution Environments (TEE). faster, safer, and easier.

Required

• Sudo-less Docker
• Docker Buildx plugin
• Python 3 installed on your Linux machine.
• Bazelisk to be able to build code outside of DevKit containers

Setup

[!CAUTION] Take care to back up your files if you have executed the bootstrap command before. Files that have been generated from previous bootstraps will be overwritten.

1. Add DevKit as a submodule to your new or existing git repository. Replace release-<version> with the version you require from the available branch releases.

   git submodule add --name=devkit --branch=release-<version> https://github.com/private-compute-infra-toolkit/devkit.git .devkit

2. Add a linux symlink to the DevKit entrypoint scripts.

   ln -s .devkit/devkit devkit
   echo ".devkit" >> .bazelignore

3. Bootstrap the project.

   For the full list of supported templates and toolchains, navigate here.

   devkit/bootstrap --template cpp --args toolchain=llvm_custom_sysroot

4. Build and spin up containerized build environment to start developing. To start other variants, use the corresponding devkit/build-<variant> script. Supported variants include debian and rockylinux.

   devkit/build bazel build //...

   Begin development by spinning up a container-based local development environment from the root of your project.

   devkit/dev
   devkit/vscode_ide --server # Spins up VS Code IDE in a local server at localhost:8080