On Sun, Aug 29, 2021 at 12:27 PM s101062801 wrote:
>
> After timecmp is modified, the value is converted into nanosecond,
> and pass to timer_mod. However, timer_mod perceives the value as
> a signed integer. An example that goes wrong is as follows:
>
> OpenSBI v0.9 initializes the cold boot ha
After timecmp is modified, the value is converted into nanosecond,
and pass to timer_mod. However, timer_mod perceives the value as
a signed integer. An example that goes wrong is as follows:
OpenSBI v0.9 initializes the cold boot hart's timecmp to
0x_. timer_mod then interpret
