[libre-riscv-dev] Introductory documents

[Hendrik Boom]

What with me and my wife taking turns in hospital, I really haven't had 
the time to attend to this project as much as I would have liked.
There's no guarantee this will change, but in case it does, I'd like to 
start with a reading list.

I'd like to see the documentation for the various software systems being 
used to design the processor.  And those that are being conidered for 
its formal verification.

I gather there's also a book on the CDC 6600 that's being used as a 
model for the RISC-V processor.

And links to the code and internal documentation for the system itself.


-- Hoping agains exerience to have more timem

   Hendrik.