Minix pour l'Intel IME et l'AMD PSP.