Ubiquiti EdgeRouter Infinity and IS-IS

[randy at psg.com (Randy Bush)]

am i correct that the only option to drop a ubiquiti infinity into an
IS-IS LAN and have RPKI-based ROV too is FRR?  if so, would someone
who has been to the movie care to share some clue off-list?  thanks.

randy