dev-log for guiding xen dev