Hi Isidore,
The list of IPv6 and RFCs supported by the NDK can be found in SPRU524H (section F.1). Unfortunately, RFC 4861, 4862, 4443 and 1981 are not featured in the latest release. The customer will have to implement these changes.
Regards,
-- Emmanuel