> Philipp, have you heard back from Xen devs if this bit is free for use?
Yes, Jan Beulich replied back and reported bit 24 being fine for i386 as well: <http://lists.xenproject.org/archives/html/xen-devel/2016-05/msg01256.html>
> Philipp, have you heard back from Xen devs if this bit is free for use?
Yes, Jan Beulich replied back and reported bit 24 being fine for i386 as well: lists.xenprojec t.org/archives/ html/xen- devel/2016- 05/msg01256. html>
<http://