Rivos was acquired by Meta last year.