Based on the readme for the VESA driver, my HD monitor won't work at full resolution in Genode. I had this same problem with Windows XP, which I was able to solve with DTDCalculator, a tool which let me create custom video modes. Since 1920x1080 was blacklisted (or something like that), I set the screen resolution to 1920x1081. Could functionality like this be added to Genode?