Creating real-time ready systems with ACRN and Ubuntu