По-моему, разговор об "абсолютно безопасной ОС" - это как поиск святого грааля или изобретение вечного двигателя. Что-то из альтернативной реальности короче.

ерунда и постное масло, ночь пьятниццы)

Просто: умным людям задали задачу, сделать материнскую плату для сервера которая исключает UEFI/BIOS эксплойты.

Они сделали, потому что они лучшие. А потом сделали следующую версию.

Ленивые отмазки

Ухаха, это перемаркированный кетайский Feitan K9B на банковском крипточипе? или нет ... У него даже USB ID почему-то плавает, поди буткит его на органе вертит, пока я недеюсь на безопасность.

Обоснуй.

defcon — конференция
В компьютерных науках интересные вещи часто происходят на конфах, а не бумаге. Есть ещё
ACM — acm.org
IEEE computer society — computer.org
USENIX — usenix.org

Нет, это их кремний

Ну вообще-то можно попросить код биоса у вендора и собрать свой. Это стоит денег и подписания NDA, но вполне возможно.

если ты в иб работаешь  или в хардвар иб(а по тебе похоже) - то ты ж понимаешь что корпорат != частный юзверь? Ты банально столько денег не будешь тратить итд итп, со всем уважением к рабочему опыту если он есть канеш....
Да и апятьжы - юзверю если реально нужна хорошая безопаска никто не запрещает стать охотником и ходить в лес периодически. И я без шуток, я сам люблю на природу выбраться, жить там вполне можно если требуется

Ты не понимаешь, можешь не продолжать

Вот с тобой интересно говорить

Нет, я не работаю ни в каком иб, просто интересуюсь

Ну всё таки  есть ОС без существующих эксплоитов типа фуксии и редокса

да я так, на перекуре тут немножко, просто зацепился и подполз - не любитель иб на самом деле, там жопа одна

Редокс мне нравится, но грубовато и жирновато

небось CTF-игрок какой?

я бы скорее думал не об этих поделиях, а о qnx и openvms. только они денег стоят, и больших.

Да, но я думаю тема минимальных систем на fpga soft cpu нераскрыта, и над серьёзными вещами работают именно так. Ну или через hardware separation kernel, formally verified.