K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-12-20T16:50:52.969046Z
K 7
svn:log
V 172
Update the GENERIC kernel to comment out sc and related optoins, and to
add the CPU_CORTEXA cpu. With this I can boot the same kernel on a
Raspberry Pi, and a Panda Board.

END