From: Ali Saidi <Ali.Saidi@ARM.com>
Date: Thu, 17 Oct 2013 15:20:45 +0000 (-0500)
Subject: arm, config: Fix a small issue with the dtb file being specified
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=735847179dda4ecdd903a28388da3d5439ae0692;p=gem5.git

arm, config: Fix a small issue with the dtb file being specified
---

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index 742aaca2d..780e4314c 100644
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -263,8 +263,8 @@ def makeArmSystem(mem_mode, machine_type, mdesc = None,
                                      size = mdesc.mem())]
     else:
         self.kernel = binary('vmlinux.arm.smp.fb.2.6.38.8')
-        if dtb_filename is not None:
-            self.dtb_filename = dtb_filename
+        if dtb_filename:
+            self.dtb_filename = binary(dtb_filename)
         self.machine_type = machine_type
         if convert.toMemorySize(mdesc.mem()) > int(self.realview.max_mem_size):
             print "The currently selected ARM platforms doesn't support"