In the [documentation](https://github.com/pulp-platform/riscv-dbg/blob/master/doc/debug-system.md#debug-memory) is written that the debug memory is 16kB: shouldn't it be 4kB (from 0 to 0x1000)?
In the documentation is written that the debug memory is 16kB: shouldn't it be 4kB (from 0 to 0x1000)?