routing IPv4 over an IPv6 core in ROS - available options?

hello,

i’m wondering about methods to route IPv4 traffic over an IPv6-only core in RouterOS.

RFC5549 would allow BGP to advertise IPv4 routes with IPv6 next-hops, but this apparently isn’t supported yet (https://help.mikrotik.com/docs/display/ROS/Routing+Protocol+Overview).

i’ve heard it said that some OSPFv3 implementations also support this, but i can’t find any references suggesting that ROS OSPF supports it.

the other options i’ve considered are tunnelling IPv4-in-IPv6 between IPv4 islands over the IPv6 core, e.g. with IPIPv6 or GRE; or creating trunk networks with VXLAN and then running OSPFv2 (or whatever) over them. however, neither of these are hardware-accelerated, which is a particular problem for the CRS312 given its extremely slow software forwarding performance.

are there any other options i’ve missed?