On 02/28/15 00:05, Manly Hall wrote:
The progress on the Rpi port seems to be ironing out pretty well. I was curious about supported boot commands.Are any of these options supported? http://www.raspberrypi.org/documentation/configuration/config-txt.mdI am primarily interested in using a custom edid.dat file or HDMI timing.
Most of the config.txt stuff is handled by the RPi firmware, so you should be good to go.
Nick