K 10
svn:author
V 7
rwatson
K 8
svn:date
V 27
2012-08-25T12:02:13.768647Z
K 7
svn:log
V 154
Add reference kernel configurations for FreeBSD/beri in simulation, on the
Terasic DE-4, and Terasic tPad Altera-based boards.

Sponsored by:	DARPA, AFRL

END