- initial implementation of _read_host_time_ns, a function to retrieve real-time in ns in vmware virtual machines
. read_tsc() in sysutil library saves edx and eax now . added read_tsc_64() by Antonio Mancina to load tsc into a 64-bit data type directly . deleted read_tsc.h in favour of a prototype in <minix/syslib.h>
support by Rogier Meurs <rogier@meurs.org>.