Development setup
To access an environment with the source code and tooling, there is a development image available as well.
(Note: If you intend to use perf, you will need to install the appropriate linux-tools-xxx
for your kernel)
docker pull --platform=linux/amd64 securesystemslab/lind-wasm-dev # this might take a while ...
docker run --platform=linux/amd64 -it --privileged --ipc=host --init --cap-add=SYS_PTRACE securesystemslab/lind-wasm-dev /bin/bash
This container can be built locally and the following args can be varied at build time for use on any branch or configuration needed.
docker build \
--platform=linux/amd64 \
--build-arg USERNAME=lind \
--build-arg BRANCH_NAME=main \
--build-arg LLVM_VERSION=llvmorg-16.0.4 \
--build-arg CLANG_PACKAGE=clang+llvm-16.0.4-x86_64-linux-gnu-ubuntu-22.04 \
-f ./scripts/Dockerfile.dev \
-t lind-dev .
You can then run it with:
docker run --platform=linux/amd64 -it --privileged --ipc=host --init --cap-add=SYS_PTRACE lind-dev /bin/bash