2014 06 done
2014-07-31, EVE verification
2014.08
2014-09 done
2014-10 done
paper: 2014-11-12
11.13 done
paper: start main content
paper: hard to continue
paper: hardware vm support done
paper: setmem done
paper: working on FTLB exception
qemu: readme of tcg