Ada virtual machine on a derived Linux based OS