I’ve thinking and, before Linux, MINIX was the best operating system for students, and it even helped Linus Torvalds for creating it. Is it still used for educational or commercial purposes? Could you give aniy example?