Hello, I tried to run ubuntu 14.4 with RT I am using machinekit binary for that: linux-image-4.1.15-rt17mah Yet, on starting ubuntu I get "vboxclient the virtualbox kernel service is not running" and it seems that all guestadditions capabilties are missing. Is anyone familiar with it ? Another question, in case I want development machine for a target which runs ubuntu 14.4 with linux-image-4.1.15-rt17mah, does it really matters if the development station runs with same kernel (linux-image-4.1.15-rt17mah) ? Best Regards, Ran -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html