if sel[i]:
GPIO[GPIO_num].eq(write_byte)
-As explained in this video
+As explained in this video <https://m.youtube.com/watch?v=Pf6gmDQnw_4>
+if each GPIO is mapped to one single byte, and it is assumed that
+the `sel` lines are enough to **always** give byte-level read/write
+then the GPIO number *becomes* the Memory-mapped byte number, hence
+the use of `len(sel)` above. `len(dat_r)//8` would do as well
+because these should be equal.
## Combining JTAG BS Chain and Pinmux (In Progress)
[[!img io_mux_bank_planning.JPG size="600x"]]