diff options
author | imp <imp@FreeBSD.org> | 2006-05-13 02:47:39 +0000 |
---|---|---|
committer | imp <imp@FreeBSD.org> | 2006-05-13 02:47:39 +0000 |
commit | cf90ee9498d3f7195b2840b3b5cd0e9b4bf89645 (patch) | |
tree | 11d05ff7d87fc0d80b39c2100aaaed42515cb24a /sys/arm | |
parent | d46957d5ba4569a5230c34999591a0702f98c812 (diff) | |
download | FreeBSD-src-cf90ee9498d3f7195b2840b3b5cd0e9b4bf89645.zip FreeBSD-src-cf90ee9498d3f7195b2840b3b5cd0e9b4bf89645.tar.gz |
Tidy up a bit...
Diffstat (limited to 'sys/arm')
-rw-r--r-- | sys/arm/conf/SIMICS | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/sys/arm/conf/SIMICS b/sys/arm/conf/SIMICS index 08a743a..4e56659 100644 --- a/sys/arm/conf/SIMICS +++ b/sys/arm/conf/SIMICS @@ -49,13 +49,11 @@ options CD9660 #ISO 9660 Filesystem #options PROCFS #Process filesystem (requires PSEUDOFS) options PSEUDOFS #Pseudo-filesystem framework options COMPAT_43 #Compatible with BSD 4.3 [KEEP THIS!] -options SCSI_DELAY=5000 #Delay (in ms) before probing SCSI #options KTRACE #ktrace(1) support options SYSVSHM #SYSV-style shared memory options SYSVMSG #SYSV-style message queues options SYSVSEM #SYSV-style semaphores options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions -options KBD_INSTALL_CDEV # install a CDEV entry in /dev device genclock device loop device ether @@ -65,10 +63,6 @@ device nexus #device saarm device rl device uart -#options AHC_REG_PRETTY_PRINT # Print register bitfields in debug - # output. Adds ~128k to driver. -#options AHD_REG_PRETTY_PRINT # Print register bitfields in debug - # output. Adds ~215k to driver. # Debugging for use in -current #options INVARIANTS #Enable calls of extra sanity checking @@ -76,11 +70,5 @@ device uart #options WITNESS #Enable checks to detect deadlocks and cycles #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed -# To make an SMP kernel, the next two are needed -#options SMP # Symmetric MultiProcessor Kernel -#options APIC_IO # Symmetric (APIC) I/O - device mem # Memory and kernel memory devices device md -# Floppy drives - |