Ubiquiti EdgeRouter Infinity and IS-IS

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