- distinguish between real cores and threads on the same core
- Linux' work in the area: http://lwn.net/Articles/8553/
+* Take advantage of nested paging/EPT in vkernels
+
* add a non-persistent unionfs VFS
- while this does not fully replace unionfs, it would deal with a few of the situations where unionfs is useful
- additionally the complexity is much lower, since everything can be kept in memory