Re: [PATCH V4 14/20] Documentation/rv: Add a basic documentation

[Daniel Bristot de Oliveira <bristot@xxxxxxxxxx>]

On 6/29/22 05:35, Bagas Sanjaya wrote:
>> +  DE OLIVEIRA, Daniel Bristot, et al. *Automata-based formal analysis and
>> +  verification of the real-time Linux kernel.* Ph.D. Thesis, 2020.
>> +
> Shouldn't these references be formatted citations reference syntax?

I improved them, but there is no single syntax. In practice, people find the
BibTeX "citation" from the place where the paper was published and let the
venue template do its work, formatting it properly (don't ask me what people
using word use... I just know that many people have a bad first impression of
papers made on word haha).
> 
>> +For example::
>> +
>> +   [root@f32 rv]# cat available_monitors
>> +   wip
>> +   wwnr
>> +
> I think the prompt should be just `#` (without username and host).

Fixed!

Thanks.
-- Daniel

> Thanks.