The embedded VM + Kernel part of my thesis work.