mirror of
https://github.com/riscv-software-src/opensbi
synced 2025-10-17 14:18:17 +01:00
c6ee5ae5a4
Fix two bug:
> printf("%#08x", 0x123); /* print 0000x123 */
> printf("%#x", 0); /* print 0x0 */
Signed-off-by: Xiang W <wxjstz@126.com>
Reviewed-by: Anup Patel <anup@brainfault.org>