home.md

@@ -19,7 +19,7 @@ Die verfügbaren Benutzer auf dem System lauten:
 
 1.  Laden Sie [VirtualBox](https://www.virtualbox.org/wiki/Downloads) für Ihr System herunter
 2.  Laden Sie ebenfalls von der gleichen Seite das "VirtualBox Extension Pack" herunter
-3.  Laden Sie die [aktuelle VM 6.2](https://userv.fbi.h-da.de/LabDisk/GL/m.roth/) als Appliance herunter
+3.  Laden Sie die [aktuelle VM 6.4](https://userv.fbi.h-da.de/LabDisk/GL/m.roth/) als Appliance herunter
     - Sie müssen sich hier mit Ihrem _st*_ Benutzer anmelden
 4.  Installieren und Starten Sie VirtualBox
 5.  Importieren Sie die herunter geladene Appliance (Datei -> Appliance importieren)
@@ -89,9 +89,9 @@ Dies ist nach aktuellem Stand nicht möglich. Benutzen Sie VPN auf Ihrem Host Sy
 ### Weitere Entwicklungswerkzeuge
 - valgrind
 
-### MPS ARM Toolchain
+### MPS ARM Toolchain (aktuell nicht enthalten!)
 
-### "Project IceStorm" Toolchain
+### "Project IceStorm" Toolchain (aktuell nicht enthalten!)
 - nextpnr
 - arachne-pnr
 - icestorm