Scott Long c15269ccb8 It's time to retire AHC_REG_PRETTY_PRINT and AHD_REG_PRETTY_PRINT from ... the standard kernels. They are still available as custom compile options.		2017-11-29 23:41:49 +00:00
..
acpica	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
amd64	Fix index calculation for the page table pages for efirt 1:1 map.	2017-11-28 09:34:43 +00:00
cloudabi32	Use TO_PTR() to convert integers to pointers.	2017-11-26 14:45:56 +00:00
cloudabi64	Use TO_PTR() to convert integers to pointers.	2017-11-26 14:45:56 +00:00
conf	It's time to retire AHC_REG_PRETTY_PRINT and AHD_REG_PRETTY_PRINT from	2017-11-29 23:41:49 +00:00
ia32	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
include	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
linux	Disable vim syntax highlighting.	2017-11-28 18:23:17 +00:00
linux32	Disable vim syntax highlighting.	2017-11-28 18:23:17 +00:00
pci	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
sgx	Fix module unload when SGX support is not present in CPU.	2017-08-18 14:47:06 +00:00
vmm	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
Makefile