Octez_riscv_nds_memory.NormalNormal mode: registry and database operations.
module Registry : sig ... endinclude Octez_riscv_nds_common.Intf.NORMAL with module Registry := Registrymodule Database :
Octez_riscv_nds_common.Intf.DATABASE with type registry := Registry.t