I'm interested on this as well.
For reference this is the configuration they are using, taken from a working OpenWRT router with 1:16 sharing ratio profile.
It is passed via DHCPv6 option 95, then passed to the nat46 module by odhcp6c (on OpenWRT)
root@RouterMi:~# cat /tmp/map-wan6_4.rules
rule=fmr,type=map-t,ealen=16,prefix4len=20,prefix6len=32,ipv4prefix=101.56.48.0,ipv6prefix=2a0e:41b::,offset=6,psidlen=4,psid=57344,dmr=2a0e:402:101:101::/64,
RULE_1_FMR=1
RULE_1_EALEN=16
RULE_1_PSIDLEN=4
RULE_1_OFFSET=6
RULE_1_PREFIX4LEN=20
RULE_1_PREFIX6LEN=32
RULE_1_IPV4PREFIX=101.56.48.0
RULE_1_IPV6PREFIX=2a0e:41b::
RULE_1_IPV6PD=2a0e:41b:xxxx::
RULE_1_PD6LEN=48
RULE_1_PD6IFACE=wan6
RULE_1_IPV6ADDR=2a0e:41b:xxxx::6538:36f1:e
RULE_BMR=1
RULE_1_IPV4ADDR=101.56.54.x
RULE_1_ADDR4LEN=32
RULE_1_PORTSETS='1920-1983 2944-3007 3968-4031 4992-5055 6016-6079 7040-7103 8064-8127 9088-9151 10112-10175 11136-11199 12160-12223 13184-13247 14208-14271 15232-15295 16256-16319 17280-17343 18304-18367 19328-19391 20352-20415 21376-21439 22400-22463 23424-23487 24448-24511 25472-25535 26496-26559 27520-27583 28544-28607 29568-29631 30592-30655 31616-31679 32640-32703 33664-33727 34688-34751 35712-35775 36736-36799 37760-37823 38784-38847 39808-39871 40832-40895 41856-41919 42880-42943 43904-43967 44928-44991 45952-46015 46976-47039 48000-48063 49024-49087 50048-50111 51072-51135 52096-52159 53120-53183 54144-54207 55168-55231 56192-56255 57216-57279 58240-58303 59264-59327 60288-60351 61312-61375 62336-62399 63360-63423 64384-64447 65408-65471 '
RULE_1_DMR=2a0e:402:101:101::/64
RULE_COUNT=1
root@RouterMi:~# cat /proc/net/nat46/control
add map-wan6_4
insert map-wan6_4 local.v4 0.0.0.0/0 local.v6 ::/0 local.style NONE local.ea-len 0 local.psid-offset 0 remote.v4 101.56.48.0/20 remote.v6 2a0e:41b::/32 remote.style MAP remote.ea-len 16 remote.psid-offset 6 debug 0
config map-wan6_4 local.v4 101.56.48.0/20 local.v6 2a0e:41b::/32 local.style MAP local.ea-len 16 local.psid-offset 6 remote.v4 0.0.0.0/0 remote.v6 2a0e:402:101:101::/64 remote.style RFC6052 remote.ea-len 0 remote.psid-offset 0 debug 0
I removed the part of the IPv4 and IPv6 addresses since they are fairly static.
The 1:1 profile is basically the same except it uses ealen=12, psidlen=0 and other mapping ranges (obviously)
Unfortunately there are no third party CPE compatible with this protocol for now and the CPE from the ISP is lacking in many ways for more advanced users as this is big ISP.
If you need something else feel free to ask.
