This title says that funding is for secure operating system research. Contents seems like its for making minix better. I am very skeptical about operating system that fixes its bugs. It may become one more multics project. Though micro kernel looks really good in theory, neither minix nor hurd have taken off like linux or FreeBSD