Hi, Thanks for all the feedback! I updated the information at https://wiki.openjdk.org/display/HotSpot/Ports. Cheers, Thomas -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/jdk-dev/attachments/20220620/cc8008e1/attachment.htm>