From 92cf3119c90df2055bf98e6033414a3ace21aa8c Mon Sep 17 00:00:00 2001
From: Andra Constantin <andrac@princeton.edu>
Date: Fri, 15 Nov 2024 18:11:28 -0500
Subject: [PATCH] increase required memory resources for Docker

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d47c812a21..40c8a00520 100644
--- a/README.md
+++ b/README.md
@@ -619,7 +619,7 @@ Notes for installing _Docker Desktop_ in Linux:
 Once _Docker Desktop_ has been installed, start it, and set it up as follows:
 
 1. Click the gear icon in the upper right to open the settings dialog;
-2. Click on the _Resources_ link on the left-hand side and set the Memory to at least 4 GB (see Note);
+2. Click on the _Resources_ link on the left-hand side and set the Memory to at least 6 GB (see Note);
 3. Click on the _Kubernetes_ link on the left-hand side;
 4. Select _Enable Kubernetes_ and click _Apply & Restart_;
 5. Click _Install_ on the dialog that is displayed.