Hello all, I am starting to work on the Embedded Xen Project. First, I am studying the code of the Samsung port "Secure Xen on arm" relased on this page. I have some questions about this work: - I have found on the ChangeLog file that the base version used for this work is the changeset 9617 from the xen-3.0-testing.hg tree. When I compare this tree and the "Secure Xen on Arm" release, I find a lot of differences in the non arch dependant part of the tree. Therefore my question is the following: Does the release of samsung is based on the 9617 changeset or updates have been made from the Xen tree ? - Have you some indications about wich parts of the "Secure Xen on arm" are new features for safety only and which are Xen base features needed for
paravirtualization on ARM. - Have your a more recent release of "Secure Xen on arm" or is one planned soon ? Thank you in advance for any information. Patrick | 
