diff --git a/util/gem5img.py b/util/gem5img.py index 4a8c0916fe..4223316b29 100755 --- a/util/gem5img.py +++ b/util/gem5img.py @@ -194,7 +194,8 @@ def findPartOffset(devFile, fileName, partition): r"\s*:\s*" # Separator r"start=\s*(?P\d+),\s*" # Partition start record r"size=\s*(?P\d+),\s*" # Partition size record - r"type=(?P\d+)" # Partition type record + r"type=(?P.+?),*?" # Partition type record + r".*" # anything else, e.g., name field r"\s*$" # End of line ) lines = out.splitlines()