Document Kontrol resource consumption #41
Description
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).