Index: /soft/giet_vm/giet_boot/boot.c
===================================================================
--- /soft/giet_vm/giet_boot/boot.c	(revision 715)
+++ /soft/giet_vm/giet_boot/boot.c	(revision 716)
@@ -163,5 +163,5 @@
 unsigned int        _tty0_boot_mode = 1;
 
-// boot code does not uses a lock to protect HBA command allocator
+// boot code does not uses a lock to protect HBA command list
 __attribute__((section(".kdata")))
 unsigned int        _hba_boot_mode = 1;
@@ -184,4 +184,9 @@
 // this variable is allocated in the mmc_driver.c
 extern unsigned int _mmc_boot_mode;
+
+// these variables are allocated in the bdv_driver.c file
+extern spin_lock_t  _bdv_lock __attribute__((aligned(64)));
+extern unsigned int _bdv_trdid;
+extern unsigned int _bdv_status;
 
 extern void boot_entry();