Similar problems face developers of many high-performance embeddedconsumer applications. In some multicore-based devices, developers areoften forced to use two OSes: Linux or Windows for running ...