Ubiquiti EdgeRouter Infinity and IS-IS

[Randy Bush <randy () psg com>]

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