K 10
svn:author
V 6
rpaulo
K 8
svn:date
V 27
2013-07-15T07:01:30.232913Z
K 7
svn:log
V 115
Move the Raspberry Pi low level options out of the kernel config and into
std.rpi + std.bcm2835.

Reviewed by:	imp

END