lib: sbi: Update the name of ISA string printed at boot time
authorAnup Patel <apatel@ventanamicro.com>
Thu, 28 Apr 2022 12:41:02 +0000 (18:11 +0530)
committerAnup Patel <anup@brainfault.org>
Sat, 7 May 2022 04:33:24 +0000 (10:03 +0530)
commit5b8b377178df56ee6bca2cf31b7580ca07cb7d70
tree838bcf429dbdac12da837ed54ec3994efb65a95c
parent5a6be99cc53b80ff1691e127d6dfbdd7ec4e9e45
lib: sbi: Update the name of ISA string printed at boot time

The ISA string printed at boot time is not the complete ISA string
representing all single letter and multi-letter extensions rather
it is base ISA string derived from misa CSR so let us update the
boot print accordingly.

Signed-off-by: Anup Patel <apatel@ventanamicro.com>
Reviewed-by: Atish Patra <atishp@rivosinc.com>
lib/sbi/sbi_init.c