From e189c45b0d866bac12853884dbf70738cffe95be Mon Sep 17 00:00:00 2001
From: Darius-Andrei Jipa <jipad16@yahoo.com>
Date: Fri, 15 Aug 2025 11:16:44 +0300
Subject: [PATCH] Add instructions for mounting the VM home directory in
 Windows

---
 docs/embedded/index.md | 8 ++++++++
 1 file changed, 8 insertions(+)

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).