From mboxrd@z Thu Jan  1 00:00:00 1970
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
In-reply-to: Your message of "Tue, 08 Jul 2014 08:22:29 +0900."
	<7caefc4287796ad45bf3c31b203c4796@eonet.ne.jp>
References: <20140707170551.F16C3B82A@mail.bitblocks.com>
	<7caefc4287796ad45bf3c31b203c4796@eonet.ne.jp>
Date: Mon,  7 Jul 2014 16:53:16 -0700
From: Bakul Shah <bakul@bitblocks.com>
Message-Id: <20140707235316.D0AC7B832@mail.bitblocks.com>
Subject: Re: [9fans] Seiki 4k + RPi + Plan9
Topicbox-Message-UUID: 01686400-ead9-11e9-9d60-3106f5b1d025

On Tue, 08 Jul 2014 08:22:29 +0900 kokamoto@hera.eonet.ne.jp wrote:
> Would you please to explain more about the meaning of:
>
> > hdmi_group=2
> > hdmi_mode=87

These magic numbers were gleaned from
http://www.raspberrypi.org/forums/viewtopic.php?f=38&t=79330

config.txt is documented at

http://elinux.org/RPi_config.txt

Not sure how complete it is as they add more stuff for new
firmware capabilities etc.  hdmi_mode=87 is brand new and not
yet in the above document. Somre more details at

http://www.raspberrypi.org/forums/viewtopic.php?t=5851

There are two commands under Raspbian, tvservice and
edidparser. Together they can be used to dump out what a
display returns in terms of the modes it supports etc.

> > config_hdmi_boot=4

Sorry, this should be

config_hdmi_boost=4

It boosts the HDMI signal strength. Normal signal strength
may not be enough if the hdmi cable is long.