I'm surprised that everyone here thinks that Kaspersky makes only antivirus products. They have a ton of security products, including their own microkernel-based OS: https://os.kaspersky.com/technologies/microkernel/