[libre-riscv-dev] kestrel kcp53000 developer making a nmigen RISC-V core

[Luke Kenneth Casson Leighton]

http://chiselapp.com/user/kc5tja/repository/kestrel-3/artifact/21916d43fcb3ca7b

he's started here (with the CSRs from privspec 1.10), and is including
formal verification scripts in the work.  he'll be moving on to the
execution engine shortly.  just using the CSR code that he's written
as-is would save us some development time.

l.