diff --git a/labs/kernel-sources-download/kernel-sources-download.tex b/labs/kernel-sources-download/kernel-sources-download.tex
index 98b94ee977..98c0238a2d 100644
--- a/labs/kernel-sources-download/kernel-sources-download.tex
+++ b/labs/kernel-sources-download/kernel-sources-download.tex
@@ -3,7 +3,7 @@
 
 \section{Setup}
 
-Create the \code{$HOME/linux-kernel-labs/src} directory.
+Create the \code{$HOME/__SESSION_NAME__-labs/src} directory.
 
 \section{Installing git packages}
 
diff --git a/labs/kernel-sources-exploring/kernel-sources-exploring.tex b/labs/kernel-sources-exploring/kernel-sources-exploring.tex
index 491492e824..666181f89a 100644
--- a/labs/kernel-sources-exploring/kernel-sources-exploring.tex
+++ b/labs/kernel-sources-exploring/kernel-sources-exploring.tex
@@ -22,7 +22,7 @@ \section{Choose a particular stable version}
 First, let's get the list of branches on our \code{stable} remote tree:
 
 \begin{verbatim}
-cd ~/linux-kernel-labs/src/linux
+cd ~/__SESSION_NAME__-labs/src/linux
 git branch -a
 \end{verbatim}
 
diff --git a/mk/linux-kernel-beagleplay.mk b/mk/linux-kernel-beagleplay.mk
index b9ca6929b9..8edf818449 100644
--- a/mk/linux-kernel-beagleplay.mk
+++ b/mk/linux-kernel-beagleplay.mk
@@ -1 +1,3 @@
 LINUX_KERNEL_BEAGLEPLAY_LABS   = setup \
+				kernel-sources-download \
+				kernel-sources-exploring \