John-Mark Gurney dbb91b1415 minor updates to make it more explicit that when using fpu_kern_thread, ... you don't need to use fpu_kern_enter/_leave... Reviewed by: kib		2014-10-23 17:24:50 +00:00
..
man1	use .Mt to mark up email addresses consistently (part6)	2014-06-23 08:27:27 +00:00
man3	Clarify descriptions of pthread_cond_wait() and pthread_cond_timedwait()	2014-08-12 12:44:52 +00:00
man4	Add VirtIO console driver	2014-10-23 04:47:32 +00:00
man5	Regenerate after r273418	2014-10-21 20:41:19 +00:00
man6	multiple: Remove 3rd clause from BSD license where approved by the	2014-03-14 03:07:51 +00:00
man7	Merge the following revisions from ^/projects/release-vmimage:	2014-10-02 16:13:12 +00:00
man8	Fix UEFI manpage whitespace and minor issues	2014-10-17 18:16:40 +00:00
man9	minor updates to make it more explicit that when using fpu_kern_thread,	2014-10-23 17:24:50 +00:00
Makefile	Use src.opts.mk in preference to bsd.own.mk except where we need stuff	2014-05-06 04:22:01 +00:00