On: Europe funds secure operating system research

[emsysman]

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

[eru → emsysman]

Anything new about exo-kernels?

[wmf → eru]

They got renamed to hypervisors. One of my coworkers is still being funded by DOE to do libOSes for HPC.

[eru → wmf]

Thanks.