Secureum workshop participants using WSL (which allocates only 2GB of RAM by default) were running into OOM when running kontrol build. We should document the amount of resources that should be available for Kontrol to work properly (@Baltoli suggested 16GB as a rough estimate).
Secureum workshop participants using WSL (which allocates only 2GB of RAM by default) were running into OOM when running
kontrol build. We should document the amount of resources that should be available for Kontrol to work properly (@Baltoli suggested 16GB as a rough estimate).