The ExoKernel is a project by Frans Kaashoek and others at MIT's LCS.
They have produced an operating system that securly shares hardware resources but does not enforce abstraction barriers between applications and hardware, alowing application code to implement efficient algorithms when accessing hardware resources.
Many excellent papers are available on their site.