Redistribution into OSPFv3 section

R1 Config

ipv6 router ospf 1
 router-id 1.1.1.1
 log-adjacency-changes
 summary-prefix 2001:1::/64
 redistribute static
 !
 ipv6 route 2001:1::1/128 Null0

R3 Config

ipv6 router ospf 1
 router-id 3.3.3.3
 log-adjacency-changes
 redistribute rip 35 tag 120 include-connected

R4 Config

ipv6 router ospf 1
 router-id 4.4.4.4
 log-adjacency-changes
 redistribute bgp 1 route-map FROM-BGP
!
route-map FROM-BGP permit 10
 match ipv6 address prefix-list FROM-BGP
 set tag 6
!
ipv6 prefix-list FROM-BGP seq 5 permit 2001:6::/57

Verification

R2#show ipv6 route ospf

OE2  2001:1::/64 [110/20]
     via FE80::C602:2CFF:FE20:0, FastEthernet0/0
OI  2001:3::3/128 [110/20]
     via FE80::C602:2CFF:FE20:0, FastEthernet0/0
O   2001:4::4/128 [110/10]
     via FE80::C604:27FF:FE28:0, FastEthernet0/1
OE2  2001:5::5/128 [110/20], tag 120
     via FE80::C602:2CFF:FE20:0, FastEthernet0/0
OE2  2001:6::/57 [110/1], tag 6
     via FE80::C604:27FF:FE28:0, FastEthernet0/1
OI  2001:13::/64 [110/20]
     via FE80::C602:2CFF:FE20:0, FastEthernet0/0
OE2  2001:35::/64 [110/20], tag 120
     via FE80::C602:2CFF:FE20:0, FastEthernet0/0