57f6622f92
and device npx. This means that FPU is always initialized and handled when available, and SSE+ register file and exception are handled when available. This makes the kernel FPU code much easier to maintain by the cost of slight bloat for CPUs older than 25 years. CPU_DISABLE_CMPXCHG outlived its usefulness, see the removed comment explaining the original purpose. Suggested by and discussed with: bde Tested by: pho Sponsored by: The FreeBSD Foundation MFC after: 3 weeks
29 lines
485 B
Plaintext
29 lines
485 B
Plaintext
#
|
|
# DEFAULTS -- Default kernel configuration file for FreeBSD/i386
|
|
#
|
|
# $FreeBSD$
|
|
|
|
machine i386
|
|
|
|
# Bus support.
|
|
device isa
|
|
options ISAPNP
|
|
|
|
# Pseudo devices.
|
|
device mem # Memory and kernel memory devices
|
|
device io # I/O device
|
|
|
|
# UART chips on this platform
|
|
device uart_ns8250
|
|
|
|
# Default partitioning schemes
|
|
options GEOM_PART_BSD
|
|
options GEOM_PART_EBR
|
|
options GEOM_PART_EBR_COMPAT
|
|
options GEOM_PART_MBR
|
|
|
|
# enable support for native hardware
|
|
device atpic
|
|
|
|
options NEW_PCIB
|