I am about to jump in to try to run virtualbox in genode on intel hardware (lenovo). I was wondering if anyone's documented their experiences setting this up yet? If not, what are the best references currently for setting this up? -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com