Исходное сообщение
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено erthink, 11-Июн-20 15:24
>>  - В разработку вложено очень много (>15 лет), соответственно Евгений не >> решается (и возможно никогда не решится) сделать Kaspersky OS Open Source. > Это по счастью будут в основном его проблемы, да нескольких "везунчиков" которым > это добровольно-принудительно втулили. Демагогия и FUD. > А то что мелкий проприетарщик да еще с > орками в управлении переиграет весь остальной мир - так не бывает. 1. "мелкий", "орки" - А я верно предполагаю что в вашей системе координат Макс является представителем "крупных эльфов" и реикарнацией Тони Старка ;) 2. "так не бывает" - ага, ни разу не было и вот опять ;)