Hi Chen,IIRC, you mentioned during the last Linaro Connect that you are working on an ARM64 port of MiniOS.
Anastassios, in CC, is interested get MiniOS running on ARM64 as well.Do you know what is missing to get MiniOS booting? I have found a tree on your github for the port [1], is it the latest version?
Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
