diff --git a/bare-metal/elastic-metal/reference-content/elastic-metal-rv1-guidelines.mdx b/bare-metal/elastic-metal/reference-content/elastic-metal-rv1-guidelines.mdx
index 997dbc098d..05d8f5367a 100644
--- a/bare-metal/elastic-metal/reference-content/elastic-metal-rv1-guidelines.mdx
+++ b/bare-metal/elastic-metal/reference-content/elastic-metal-rv1-guidelines.mdx
@@ -70,16 +70,23 @@ Linux kernel.
 4. Build the Linux kernel.
     ```bash
     cd linux/
+
+    # Make sure the required device tree is available in the default branch
+    ls -lhF arch/riscv/boot/dts/thead/th1520-lichee-cluster-4a-16g.dts
+    # Otherwise switch to another branch that has it
+    #git branch -a
+    #git switch ...
+
     make revyos_defconfig
     # This can take several hours.
-    make -j
+    make -j4
     sudo make modules_install
     cd ..
     ```
 5. Build OpenSBI.
    ```bash
    cd opensbi/
-   make PLATFORM=generic -j
+   make PLATFORM=generic -j4
    cd ..
    ```
 6. Build and install the FIT image.
@@ -89,8 +96,8 @@ Linux kernel.
    # Build the device tree
    cpp \
     -nostdinc \
-    -I ../linux/arch/riscv/boot/dts/thead/ \
-    -I ../linux/include/ \
+    -I ../../linux/arch/riscv/boot/dts/thead/ \
+    -I ../../linux/include/ \
     -undef \
     -x assembler-with-cpp \
     em-rv1-c4m16s128-a.dts \
@@ -100,7 +107,7 @@ Linux kernel.
    sudo mv /boot/boot.itb /boot/boot.itb.bak
    sudo mkimage -f em-rv1-c4m16s128-a-boot.its /boot/boot.itb
 
-   cd -
+   cd ../..
    ```
 7. Reboot the server to load the new kernel.