<div dir="ltr"><div>Hi,</div><div><br></div><div>Thanks for all the feedback! I updated the information at <a href="https://wiki.openjdk.org/display/HotSpot/Ports">https://wiki.openjdk.org/display/HotSpot/Ports</a>. </div><div><br></div><div>Cheers, Thomas</div><div class="gmail_quote"><div> </div></div></div>