Konstantin Belousov 34c15db9cd Add config option PAE_TABLES for the i386 kernel. It switches pmap to ... use PAE format for the page tables, but does not incur other consequences of the full PAE config. In particular, vm_paddr_t and bus_addr_t are left 32bit, and max supported memory is still limited by 4GB. The option allows to have nx permissions for memory mappings on i386 kernel, while keeping the usual i386 KBI and avoiding the kernel data sizing problems typical for the PAE config. Intel documented that the PAE format for page tables is available starting with the Pentium Pro, but it is possible that the plain Pentium CPUs have the required support (Appendix H). The goal is to enable the option and non-exec mappings on i386 for the GENERIC kernel. Anybody wanting a useful system on 486, have to reconfigure the modern i386 kernel anyway. Discussed with: alc, jhb Sponsored by: The FreeBSD Foundation MFC after: 2 weeks		2015-04-13 15:22:45 +00:00
..
acpica	Add config option PAE_TABLES for the i386 kernel. It switches pmap to	2015-04-13 15:22:45 +00:00
bios	Add missing header needed by free(9).	2012-09-30 15:42:20 +00:00
cpufreq	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
include	Move the 32-bit compatible procfs types from freebsd32.h to <sys/procfs.h>	2015-04-08 16:30:45 +00:00
iommu	Account for the offset of the page run when allocating the	2015-04-08 01:55:22 +00:00
isa	Include mca_machdep.h.	2015-01-18 03:43:47 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
x86	Use VT-d interrupt remapping block (IR) to perform FSB messages	2015-03-19 13:57:47 +00:00
xen	Add x86 specific APIs 'lapic_ipi_alloc()' and 'lapic_ipi_free()' to allow IPI	2015-03-14 00:30:41 +00:00