A verification of the results published in http://retis.sssup.it/~giorgio/paps/2005/rtsj05-bini.pdf AND a survey on real time hypervisors