Open and cost-effective virtualization techniques and supporting separation kernel for the embedded systems industry