Re: [U-Boot] rpi: set board serial number in environment

On Mon, Feb 22, 2016 at 10:06:47PM +0100, Lubomir Rintel wrote:

Gets propagated into the device tree and then into /proc/cpuinfo where users often expect it.

Signed-off-by: Lubomir Rintel lkundrak@v3.sk Tested-by: Stephen Warren swarren@wwwdotorg.org Reviewed-by: Stephen Warren swarren@wwwdotorg.org

Applied to u-boot/master, thanks!