TornadoVM
TornadoVM copied to clipboard
Settings from SDK-DIR/etc/tornado.properties are ignored for default platform/device
Settings specified in SDK-DIR/etc/tornado.properties file are ignored.
In particular, setting tornado.platform and tornado.device has no effect.
There is a method OpenCL.defaultDevice that uses these properties, but the method itself is not used anywhere.
Created a PR that overcome the limitation (inability to set VM-wide default driver/device).