diff --git a/firmware/fw_common.S b/firmware/fw_common.S index afe14a1b..d7074f8b 100644 --- a/firmware/fw_common.S +++ b/firmware/fw_common.S @@ -129,7 +129,7 @@ _start_warm: /* set MSIE bit to receive IPI */ li a2, MIP_MSIP csrw mie, a2 - /* HART ID should be withing expected limit */ + /* HART ID should be within expected limit */ csrr a6, mhartid li a5, PLAT_HART_COUNT bge a6, a5, _start_hang