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.6](https://userv.fbi.h-da.de/LabDisk/GL/m.roth/) als Appliance herunter
+3.  Laden Sie die [aktuelle VM 6.7](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,10 +89,4 @@ Dies ist nach aktuellem Stand nicht möglich. Benutzen Sie VPN auf Ihrem Host Sy
 - valgrind
 - kcachegrind
 
-### MPS ARM Toolchain (aktuell nicht enthalten!)
 
-### "Project IceStorm" Toolchain (aktuell nicht enthalten!)
-- nextpnr
-- arachne-pnr
-- icestorm
-- yosys