device: 0.759 performance: 0.592 graphic: 0.490 debug: 0.462 mistranslation: 0.457 semantic: 0.387 i386: 0.256 boot: 0.230 x86: 0.217 ppc: 0.216 user-level: 0.189 risc-v: 0.189 virtual: 0.089 vnc: 0.086 architecture: 0.085 hypervisor: 0.063 arm: 0.048 network: 0.040 register: 0.037 TCG: 0.032 VMM: 0.028 assembly: 0.024 permissions: 0.021 socket: 0.018 KVM: 0.016 PID: 0.016 peripherals: 0.011 files: 0.004 kernel: 0.004 Error "cannot enable SPICE if pixman is not available"