it seems inelegant to fully virtualize hardware when a guest OS just has to abstract it away again; any work being done on pushing the abstraction layer down below a much 'thinner' guest OS?