diff --git a/docs/totalcompute/tc2/release_notes.rst b/docs/totalcompute/tc2/release_notes.rst
index ea3902d695bfb7469347ff798c0f67609e386898..de1659d53307e84496804ca78cf5ca8366eb3b22 100755
--- a/docs/totalcompute/tc2/release_notes.rst
+++ b/docs/totalcompute/tc2/release_notes.rst
@@ -67,7 +67,7 @@ Software Features
 Platform Support
 ----------------
  - The Buildroot configuration of this software release is tested on TC2 Fast Model platform (FVP).
-   - Supported Fast model version for this release is 11.19.25
+   - Supported Fast model version for this release is 11.19.29
 
 Known issues or Limitations
 ---------------------------
diff --git a/docs/totalcompute/tc2/user-guide.rst b/docs/totalcompute/tc2/user-guide.rst
index 3a512202cf07f03216198cbce6d76487e14cac49..e5091cf4717e4cd88338b43e3c20cbb4dda56ce3 100755
--- a/docs/totalcompute/tc2/user-guide.rst
+++ b/docs/totalcompute/tc2/user-guide.rst
@@ -47,7 +47,8 @@ To install the required packages, run:
     build-essential socat cpio python3 python3-pip python3-pexpect xz-utils debianutils \
     iputils-ping python3-git libegl1-mesa libsdl1.2-dev xterm git-lfs openssl \
     curl lib32ncurses5-dev libz-dev u-boot-tools m4 zip liblz4-tool zstd make \
-    dwarves ninja-build libssl-dev srecord libelf-dev bison flex
+    dwarves ninja-build libssl-dev srecord libelf-dev bison flex libncurses5 \ 
+    uuid-dev libgnutls28-dev
 
 For Ubuntu 18.04:
 ::
@@ -446,6 +447,7 @@ The driver, mali_kbase.ko, must be build as a module. One method is to do this i
 #. Edit the kbuild system to include the driver as described by this patch.
 
 ::
+
       diff --git a/drivers/Kconfig b/drivers/Kconfig
       index e346c35f42b4..978e083d1427 100644
       --- a/drivers/Kconfig