ad 68c33f6d28 Fix a comment.		2008-12-21 11:18:19 +00:00
..
acpi	Share cpu.h between the x86 ports.	2008-05-11 15:32:20 +00:00
bios	Replace most gcc-specific __attribute__ uses with BSD-style sys/cdef.h	2008-09-08 23:36:53 +00:00
bioscall	Use ${TOOL_AWK} instead of ${AWK} or plain "awk" in make commands.	2008-10-19 22:05:19 +00:00
compile
conf	- Kill NOREDZONE.	2008-12-20 12:41:19 +00:00
eisa	struct device * -> device_t	2008-06-27 11:03:13 +00:00
gdbscripts	Remove clause 3 and 4 from TNF licenses	2008-04-28 20:22:51 +00:00
i386	Remove stray opt_redzone.h	2008-12-20 13:09:44 +00:00
include	Fix a comment.	2008-12-21 11:18:19 +00:00
isa	npxdna(): even if there's no effective FPU context switch set ci_fpused;	2008-11-25 21:53:50 +00:00
mca	replace bitmask_snprintf(9) with snprintb(3)	2008-12-16 22:35:21 +00:00
pci	Fix previous.	2008-07-20 22:57:19 +00:00
pnpbios	device_t split fallout [hi joerg!]	2008-07-11 11:58:37 +00:00
stand	more KNF and ANSI from Anon-ymous	2008-12-14 18:46:33 +00:00
xbox	device/softc split	2008-07-09 20:40:16 +00:00
Makefile	Compute tags over the ACPI sources.	2008-11-06 00:41:52 +00:00