Позволит ли формальная верификация кода микроядра создавать сверхнадежные ОС +21
Публикации с хабом Системное программирование
Как отлаживать Android ядро без UART, JTAG и прочих +15
Заменяем бут-анимацию Android устройства на мелькающие логи Linux ядра +51
Моим самым важным проектом был интерпретатор байт-кода (или «как увидеть матрицу») +35
Запускаем Linux на FPGA: Hello, World +36
«Операционные системы: зачем они инженеру»
Немного о ARM Security Extensions (aka ARM TrustZone) +26
Использование gpio-generic и irq_chip_generic для драйвера gpio +11
Неожиданное поведение WinAPI-функции IsWow64Process() +69
- Программирование
- Разработка под Windows
- C++
- Системное программирование
- Блог компании Инфопульс Украина
По просьбе читателей, проверяем код LDAP-сервера ReOpenLDAP +18
Вопросы Хейлмейера, Пирса и ответы наших разработчиков +21
- Программирование
- Open source
- Системное программирование
- Блог компании KolibriOS Project Team
- Assembler
