diff --git a/docs/developer-guide.md b/docs/developer-guide.md
index b81bda1..a2e4d55 100644
--- a/docs/developer-guide.md
+++ b/docs/developer-guide.md
@@ -27,6 +27,7 @@ To build the custom linux image that will host agent, run:
 ```shell
 git clone https://github.com/buildroot/buildroot.git
 cd buildroot
+git checkout 2024.11-rc2 
 make BR2_EXTERNAL=../cocos/hal/linux cocos_defconfig
 make menuconfig #optional for additional configuration
 make
diff --git a/docs/hal.md b/docs/hal.md
index a2e70e9..75fd869 100644
--- a/docs/hal.md
+++ b/docs/hal.md
@@ -4,7 +4,7 @@ HAL is a layer of programming that allows the software to interact with the hard
 
 AMD SEV-SNP creates secure virtual machines (SVMs). VMs are usually used to run an operating system (e.g., Ubuntu and its applications). To avoid using a whole OS, HAL uses:
 
-- Linux kernel v6.6 - vmlinuz archive with the standard Linux kernel v6.6 with support for AMD SEV.
+- Linux kernel v6.12 - vmlinuz archive with the standard Linux kernel v6.12 with support for AMD SEV.
 - File system - the initial RAM file system (initramfs) that is used as the root file system of the VM.
 
 This way, applications can be executed in the SVM, and the whole HAL SVM is entirely in RAM, protected by SEV-SNP. Being a RAM-only SVM means that secrets that are kept in the SVM will be destroyed when the SVM stops working.