Re: [PATCH] Documentation: dev-tools: Add link to RV docs

[Daniel Bristot de Oliveira]

On 3/28/24 13:49, Brendan Jackman wrote:
> I could not remember the name of this system and it's pretty hard to
> find without the right keywords. I had to ask an LLM!
> 
> Drop a breadcrumb to help people find it in the future.
> 
> Signed-off-by: Brendan Jackman <jackmanb@xxxxxxxxxx>

Acked-by: Daniel Bristot de Oliveira <bristot@xxxxxxxxxx>

Thanks!
-- Daniel