The IO interface for SDMC/NAND seems to be very similar to the DSi; see libnds for sample code and documentation.
3DS SDMC/NAND IO registers are located at 0x10006000 and apparently mirrored at 0x10007000. It seems the 0x10007000 mirror is never used on retail units.