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