Исходное сообщение
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено Аноним, 10-Июн-20 19:40
Возможно и так. Когда-то я интересовался этим вопросом (когда писал 16 битные программы) и видел утверждения, что cisc в процессорах интел когда-то всё же был. Примерно с P6 всё пошло в разнос, тогда же появились все эти уязвимые бранч предикторы и всё остальное. Они были уязвимыми ещё 20 лет назад, мельдаун и спектра эксплуатируют давным давно известные архитектурные "особенности".