PERFORCE change 222668 for review

[Robert Watson]

http://p4web.freebsd.org/@@222668?ac=10

Change 222668 by rwatson at rwatson_zenith_cl_cam_ac_uk on 2013/03/06 15:07:50

	Add a very simple de4ctl tool, which among other things will allow
	printing of fan and temperature information for CHERI CPUs running
	on the Terasic DE4.

Affected files ...

.. //depot/projects/ctsrd/beribsd/src/ctsrd/Makefile#15 edit
.. //depot/projects/ctsrd/beribsd/src/ctsrd/de4ctl/Makefile#1 add
.. //depot/projects/ctsrd/beribsd/src/ctsrd/de4ctl/de4ctl.c#1 add

Differences ...

==== //depot/projects/ctsrd/beribsd/src/ctsrd/Makefile#15 (text+ko) ====

@@ -4,6 +4,7 @@
 		browser \
 		cheripoint \
 		cycle_led \
+		de4ctl \
 		flashit \
 		libexec \
 		minifile \