diff --git a/README.md b/README.md
index b712f4c..603f60e 100644
--- a/README.md
+++ b/README.md
@@ -8,12 +8,12 @@ A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
 
 ## Breakdown
 
-_This section is currently a work in progress._
-
 | Directory | Description |
 | --- | --- |
-| `insns` | Supported RISC-V instructions and ISAs |
-| `cores` | Example cores to be integrated with riscv-formal-nmigen (WIP) |
+| `rvfi` | RISC-V Formal Verification Framework (nMigen port) |
+| `rvfi/insns` | Supported RISC-V instructions and ISAs |
+| `rvfi/cores` | Example cores to be integrated with riscv-formal-nmigen (WIP) |
+| `rvfi/cores/minerva` | The [Minerva](https://github.com/lambdaconcept/minerva) core |
 
 ## Build