Hello, may I suggest enabling this feature (set CONFIG_DRM_VMWGFX=m) as module in kernel-ml? Currently the kernel-ml package doesn't have this feature compiled in. Enabling it will be convenient for VMware product users (Player/Workstation) because they can get a high-resolution framebuffer console. Thanks, David.