diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-09-20 06:45:27 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-09-20 06:45:27 +0000 |
| commit | df42aa61f92bffe35c22145bcc90906f47aa88d0 (patch) | |
| tree | 5064c1ef1d0088157056fe2aa3f45ca4bd95c9e8 /sys/arch/pc532/conf/STEELHEAD | |
| parent | 4909b03ce500337461ef8ac1f9f5637782ca693d (diff) | |
do not fool people into thinking VNODEPAGER is an option; netbsd pr#2757, erik@aarhus1.uni-c.dk
Diffstat (limited to 'sys/arch/pc532/conf/STEELHEAD')
| -rw-r--r-- | sys/arch/pc532/conf/STEELHEAD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/arch/pc532/conf/STEELHEAD b/sys/arch/pc532/conf/STEELHEAD index 6bc89b96df9..d89314eccaa 100644 --- a/sys/arch/pc532/conf/STEELHEAD +++ b/sys/arch/pc532/conf/STEELHEAD @@ -7,7 +7,7 @@ machine "pc532" maxusers 10 # estimated number of users options TIMEZONE=0, DST=0 # time zone to read RTC in options SWAPPAGER # paging -options VNODEPAGER,DEVPAGER # vnode and device node caching +options DEVPAGER # device node caching #options DDB # kernel debugger; not working #options DIAGNOSTIC # internal consistency checking |