Very interesting, thanks!
8bit 1280x720 @ 60 = ~105MB/s
8bit 1920x1080 @ 25 = ~99MB/s
From Wikipedia Uncompressed video page
In terms of bandwidth python should be capable of outputting at this rate to the HDMI if 720p60/59.97 is possible.
So once we're in Arch Linux there's no limitations license-wise from you for devs to tweak code that isn't a standard Mode? I.e. changes to the ETC api, timers, etc. to achieve the new resolution?