K 10
svn:author
V 2
br
K 8
svn:date
V 27
2017-04-12T10:34:50.021207Z
K 7
svn:log
V 172
Provide a NULL pointer to device tree blob so GENERIC kernel
can be compiled.
We will need to get pointer to DTB from hardware, so mark as TODO.

Sponsored by:	DARPA, AFRL

END