US8769528B2 - Fixed-Function Consumer-Electronics Device Providing General-Computing Functions with Virtual Machines