support/scripts: Change the SECINFO_EXP regex to be more permissive

Currently, the regex for matching the .uk_bootinfo section does
not consider the case of the section having a number bigger than
99 as a result for objdump -h. This PR changes the regex to consider that case.

Signed-off-by: Florin Postolache <florin.postolache80@gmail.com>
Reviewed-by: Dragos Petre <dragos.petre27@gmail.com>
Approved-by: Marco Schlumpp <marco@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #792

diff --git a/support/scripts/mkbootinfo.py b/support/scripts/mkbootinfo.py
index 984b3fe6997caafe303a4c8d963b44b78aaaa77f..83f452f121fe3de9d2cdd17e2a0163f156e6333e 100755 (executable)
--- a/support/scripts/mkbootinfo.py
+++ b/support/scripts/mkbootinfo.py
@@ -9,7 +9,7 @@ import subprocess
 import re
 import os
 
-SECINFO_EXP = r'^\s+\d+\s+.uk_bootinfo\s+([0-9,a-f]+)'
+SECINFO_EXP = r'^\s*\d+\s+\.uk_bootinfo\s+([0-9,a-f]+)'
 PHDRS_EXP = r'^\s+LOAD.+vaddr\s(0x[0-9,a-f]+).+\n.+memsz\s(0x[0-9,a-f]+)\sflags\s([rwx|-]{3})$'
 
 # Memory region types (see include/uk/plat/memory.h)