Scenario 4: Efficient market

• Smart loader optimizes for user
• Actual swapped-in memory size shrinks
• Signed code guarantees conformance
• "Fixed" code limited to secure boot
• Innovation speed unlimited