diff --git a/getting_started/setup_linux/install_locally.rst b/getting_started/setup_linux/install_locally.rst
index d70f9774..ce50ec8f 100644
--- a/getting_started/setup_linux/install_locally.rst
+++ b/getting_started/setup_linux/install_locally.rst
@@ -16,7 +16,7 @@ Make sure you have `set up your development environment <prepare_build_environme
 Build and install the kernel
 ****************************
 
-1. Change directory to ``~/sof/linux`` that you created on the setup page.
+1. Change directory to ``~/work/sof/linux`` that you created on the setup page.
 
 #. Load the base kernel configuration.
 
@@ -116,7 +116,7 @@ If you run into issues or no longer need the custom kernel, you can remove it.
 
   .. code-block:: bash
 
-     cd ~/sof/linux
+     cd ~/work/sof/linux
      sudo rm /boot/*-$(make kernelversion)
      sudo rm -rf /lib/modules/$(make kernelversion)
      sudo update-grub
@@ -125,7 +125,7 @@ If you run into issues or no longer need the custom kernel, you can remove it.
 
   .. code-block:: bash
 
-     cd ~/sof/linux
+     cd ~/work/sof/linux
      sudo rm /boot/*-$(make kernelversion)*
      sudo rm -rf /lib/modules/$(make kernelversion)
      sudo grubby --remove-kernel=/boot/vmlinuz-$(make kernelversion)