Is there a sample project that targets the Raspberry Pi where a Computer Monitor is used as the display? What configuration settings need to be used when the Raspberry Pi video driver is used? Is there any special flushing logic that needs to be used to deal with the quirks of the Raspberry Pi video driver (eg to avoid graphics corruption similar to what is shown here)?