Le choix du 286 n'est pas anodin, c'est un CPU avec une archi assez évoluée pour faire des trucs avancés mais une archi pas trop complexe pour pouvoir être vérifiée formellement (absence de bugs dans les conditions normales environnementale d'utilisation). Je ne serai pas étonné d'apprendre des test actuels en vue de certifier des architectures du type RISC-V. Je me demande même s'il n'y a actuellement pas des archi plus évoluées qui soient vérifiées, genre des PowerPC.