We provide a root Makefile for using Docker-based environment, which is pre-built from template-PD-manifest. Developers can use instructions like make image to setup the develop environemnt, as it pulls the Docker image from ghcr.io.
Other make targets are visible via make help, which prints out all available build instructions from the root Makefile. For instances, make build can help testing building the Carrels monitor and serveral given applications. By running make qemu, you can use the demo built for QEMU (Aarch64 by default), which interacts with the users via a microrl shell.
For detail information, see carrels-docs.