top-level simulation now passes the GPIO testbench.
the 26 domain (now dedicated to the housekeeping module), with 2e0... now 261... and 2f0... now 262... Although this is not strictly backwards-compatible, the addresses in defs.h have been modified so that C code remains valid with a recompile.
and simulates, but fails testbench (not surprising at this stage).