Index: /trunk/softs/tsar_boot/Makefile
===================================================================
--- /trunk/softs/tsar_boot/Makefile	(revision 760)
+++ /trunk/softs/tsar_boot/Makefile	(revision 761)
@@ -34,4 +34,5 @@
 
 BUILD_DIR  := build
+HARD_CONFIG:= $(HARD_CONFIG_PATH)/hard_config.h
 
 # =============================================================================
@@ -95,4 +96,7 @@
 
 all: $(TARGET)
+
+$(DRV_OBJS): $(HARD_CONFIG)
+$(OBJS): $(HARD_CONFIG)
 
 $(BUILD_DIR)/$(DRV_LIB): $(BUILD_DIR) $(DRV_OBJS)
Index: /trunk/softs/tsar_boot/README
===================================================================
--- /trunk/softs/tsar_boot/README	(revision 760)
+++ /trunk/softs/tsar_boot/README	(revision 761)
@@ -13,4 +13,5 @@
 
 conf/       Platform specific files
+
             For each platform, we must define a new directory.
             Mandatory files:
@@ -18,8 +19,8 @@
               - hard_config.h (can be generated using giet-vm genmap tool)
 
-                This file contains all physical segments addresses and sizes of the
-                hardware platform. It also contains other configuration definitions
-                as the disk controller type, mesh size, etc. Examples can be found
-                in the conf/ directory.
+                This file contains all physical segments addresses and sizes of
+                the hardware platform. It also contains other configuration
+                definitions as the disk controller type, mesh size, etc.
+                Examples can be found in the conf/ directory.
 
             Optional files:
@@ -38,7 +39,6 @@
               - USE_DT=<value>
 
-                Value can be 1 or 0.
-                If a device tree file is not used, set this flag to 0. It is
-                set by default to 1.
+                Value can be 1 or 0. If a device tree file is not used, set
+                this flag to 0. It is set by default to 1.
 
               - SYSTEM_CLK=<platform clock frequency>
@@ -62,6 +62,6 @@
     boot loader or kernel must perform stack allocation for other processors.
 
-  - Stack for processor 0 is allocated at the end of RAM segment in the
-    cluster (0,0).
+  - Stack for processor 0 is allocated at the end of RAM segment in the cluster
+    (0,0).
 
 Examples: