diff options
author | marcel <marcel@FreeBSD.org> | 2003-07-25 07:52:20 +0000 |
---|---|---|
committer | marcel <marcel@FreeBSD.org> | 2003-07-25 07:52:20 +0000 |
commit | 64e4b09fad1cac73041c4a2839444a2dd234868b (patch) | |
tree | e001fda313198c3625ea9af7a018942b4aec8063 /sys/ia64/conf | |
parent | d2927bd8dd6cd3980acc28a618c9f7b59c9e1884 (diff) | |
download | FreeBSD-src-64e4b09fad1cac73041c4a2839444a2dd234868b.zip FreeBSD-src-64e4b09fad1cac73041c4a2839444a2dd234868b.tar.gz |
Remove INVARIANT* and WITNESS. This makes the simulator much more
pleasant to use.
Diffstat (limited to 'sys/ia64/conf')
-rw-r--r-- | sys/ia64/conf/SKI | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/sys/ia64/conf/SKI b/sys/ia64/conf/SKI index b5d6705..603181b 100644 --- a/sys/ia64/conf/SKI +++ b/sys/ia64/conf/SKI @@ -34,8 +34,6 @@ options DDB options FFS #Berkeley Fast Filesystem options INET #InterNETworking options INET6 #IPv6 communications protocols -options INVARIANTS -options INVARIANT_SUPPORT options KTRACE #ktrace(1) syscall trace support options MD_ROOT #MD is a potential root device options PROCFS #Process filesystem (requires PSEUDOFS) @@ -47,7 +45,6 @@ options SOFTUPDATES #Enable FFS soft updates support options SYSVMSG #SYSV-style message queues options SYSVSEM #SYSV-style semaphores options SYSVSHM #SYSV-style shared memory -options WITNESS options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions device acpi |