Lubomir Rintel 757cd149b9 rpi: set board serial number in environment ... 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>		2016-02-24 18:44:12 -05:00
..
MAINTAINERS	ARM: rpi: rename rpi_b to rpi	2014-12-08 09:35:42 -05:00
Makefile	bcm2835/rpi: add SPDX license tags for some files	2015-02-21 08:27:08 -05:00
rpi.c	rpi: set board serial number in environment	2016-02-24 18:44:12 -05:00