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