u-boot/board/raspberrypi/rpi
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