tree fd70caa3257c9a2340d63a77c8f00875e93b6fdf
parent 2e8f998f4b3640b055723f95b790c4c24523a061
author Pierre-Clément Tosi <ptosi@google.com> 1627546433 +0000
committer Pierre-Clément Tosi <ptosi@google.com> 1628673969 +0000

run_qemu.sh: Add format parameter to hex()

Add second (optional) parameter to hex() to control the format of its
output, which follows the typical printf-like formats. If not passed,
the function defaults to its previous behaviour by converting the input
to hexadecimal and prepending the '0x' prefix.

Change-Id: I24ab6ea2f002c67966e2cae43a6c00f82c38c2dc