K 10
svn:author
V 5
gonzo
K 8
svn:date
V 27
2016-10-14T03:00:53.185208Z
K 7
svn:log
V 146
Make bcm2835_machdep.c optional

bcm2835_machdep.c contains only bits enabled by "options PLATFORM", this
option available only on ARM, not ARM64

END