Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

This seems to me to be more along the lines of work into exokernels: most of the "kernel" runs as a library in user mode.[1] The application still has a full range of functionality available. The "45 API calls" is not what the user process can access, but the interface between the, untrusted, user-mode kernel and the, secure, kernel-mode kernel.

[1] http://research.cs.wisc.edu/areas/os/Qual/papers/exokernel.p...



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: