updates related to MiniHyperVisorProject update