Raspberry Pi support (and others ARM devices with linux too)

Tested on raspberry Pi board with raspian and open-jdk.