diff --git a/docs/embedded/index.md b/docs/embedded/index.md index ae39882..692e4f4 100644 --- a/docs/embedded/index.md +++ b/docs/embedded/index.md @@ -7,6 +7,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).