Daniel! Daniel Henrique Barboza <dbarb...@ventanamicro.com> writes:
> Hi, > > The motivation of this short series is to fix a reported in [1]. A > couple of bugs were fixed along the way. > > Björn, these patches should remediate the situation you're experiencing. Thanks for the fast turn-around! This indeed fixes the hart0 boot! Tested-by: Björn Töpel <bj...@rivosinc.com>