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 | |
| 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')
| -rw-r--r-- | sys/arch/pc532/conf/DEFAULT | 2 | ||||
| -rw-r--r-- | sys/arch/pc532/conf/INSTALL | 3 | ||||
| -rw-r--r-- | sys/arch/pc532/conf/KLONDIKE | 2 | ||||
| -rw-r--r-- | sys/arch/pc532/conf/STEELHEAD | 2 |
4 files changed, 4 insertions, 5 deletions
diff --git a/sys/arch/pc532/conf/DEFAULT b/sys/arch/pc532/conf/DEFAULT index 47217dacfbe..624b38c21f4 100644 --- a/sys/arch/pc532/conf/DEFAULT +++ b/sys/arch/pc532/conf/DEFAULT @@ -9,7 +9,7 @@ machine pc532 maxusers 8 # 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; recommended #options DIAGNOSTIC # internal consistency checking diff --git a/sys/arch/pc532/conf/INSTALL b/sys/arch/pc532/conf/INSTALL index 4261d846ab3..d57b4758267 100644 --- a/sys/arch/pc532/conf/INSTALL +++ b/sys/arch/pc532/conf/INSTALL @@ -14,9 +14,8 @@ options GENERIC # estimated number of users maxusers 2 -# paging of processes, and caching vnodes and devices; REQUIRED +# paging of processes, and caching devices; REQUIRED options SWAPPAGER -options VNODEPAGER options DEVPAGER # networking options diff --git a/sys/arch/pc532/conf/KLONDIKE b/sys/arch/pc532/conf/KLONDIKE index d55a6c1dc0e..9b9818694a0 100644 --- a/sys/arch/pc532/conf/KLONDIKE +++ b/sys/arch/pc532/conf/KLONDIKE @@ -8,7 +8,7 @@ machine pc532 maxusers 8 # 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; recommended #options DIAGNOSTIC # internal consistency checking 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 |