I read this thesis sometime last year and my impression was that it was never meant to be integrated. It was developed basically behind a wall, completely ignoring the multiserver structure of HelenOS and some of its, then already available, features, such as devman, our device driver model, kernel non-identity mapping.
Yes, it was really just a prototype implementation, unfortunately with very little ambition to be mergeable. The sources weren't even versioned. The sources (against Xen 4.1.1) are available here:
http://www.helenos.org/doc/theses/tbe-thesis.tar.gz M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
