KasperskyOS Microkernel OSs against threats to smart devices Why such OSs are gaining more significance in markets in need of security.