I remember reading in an official Yamaha document some years back that the Tyros OS was Linux and it seems that I have seen that claim stated on the Korg forum for the Pa3x too.

It still depends on the manufacturer to open it up to other entities or the users in some form.

Bill G