re-added VM mount info

Author: DanutAldea

docs/embedded/0.Tock/index.md

@@ -12,6 +12,14 @@ This workshop will not work on Windows systems.
 You can use the Ubuntu VM we provide [here](https://drive.google.com/file/d/1WSUo29d9Z8bmcjurvkDUmoAgq1TqaW4H/view?usp=sharing) (only works on VirtualBox).
 The username and password are both `ipwembedded`.
 The VM has the port 3033 forwarded for SSH connection.
+
+If you want to have the VM home directory mounted in Windows, use the following commands (with Admin PowerShell):
+
+```powershell
+winget install -e --id WinFsp.WinFsp
+winget install -e --id SSHFS-Win.SSHFS-Win
+net use X: \\sshfs\ipwembedded@localhost!3033
+```
 :::
 
 If you did not attend the **Tock Workshop**, please follow the [Setup Tutorial](../../tock_workshop/index.md).