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?