K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-08-15T13:13:19.352939Z
K 7
svn:log
V 159
Remove PHYSADDR from kernel configurations that don't need it. The only
place we need to set it is when we also have FLASHADDR set.

Sponsored by:	DARPA, AFRL

END