From eec116e12812ba1ec605f8a892680ba6b9d53ff8 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Sat, 16 Aug 2025 07:40:13 +0000
Subject: [PATCH] AE++

---
 AE.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/AE.md b/AE.md
index dfda5a6..74e3a29 100644
--- a/AE.md
+++ b/AE.md
@@ -25,7 +25,8 @@ Download our ready-made VM image from [https://sys-sideshow.cs.tu-dortmund.de/do
 - **CPU Allocation**: One core per 4-8GB of RAM (recommended 64 cores, 256-512GB RAM)  
 - **Disk Space**: At least 100GB free space for results  
 - **Login**: Username: `osboxes.org`, Password: `osboxes.org`  
-- **See ~/FRET**  
+- **Open a terminal in ~/FRET**  
+   - Load the environemnt using ``direnv relaod`` or ``nix develop``
 - **Ensure you have the right version**: ``git checkout RTSS25-AE && git submodule update --init``  
 
 ### Option 2: Setup From Scratch