Doubtful. Seeing as they maintain their own Linux distribution, they would probably be maintaining their own BSD flavor instead.