K 10
svn:author
V 2
br
K 8
svn:date
V 27
2016-02-11T13:28:52.998895Z
K 7
svn:log
V 243
o Move non-generic kernel configuration out from GENERIC.
o Add kernel configuration for QEMU.

Both SPIKE and QEMU kernel configs are temporary (until
we will be able to obtain DTB from loader).

Sponsored by:	DARPA, AFRL
Sponsored by:	HEIF5

END