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/arm32/conf/BETA | |
| 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/arm32/conf/BETA')
| -rw-r--r-- | sys/arch/arm32/conf/BETA | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sys/arch/arm32/conf/BETA b/sys/arch/arm32/conf/BETA index e4dbabf358e..c2559a8d488 100644 --- a/sys/arch/arm32/conf/BETA +++ b/sys/arch/arm32/conf/BETA @@ -13,7 +13,6 @@ maxusers 8 options TIMEZONE=0 # time zone to adjust RTC time by options DST=0 # daylight savings time used by RTC options SWAPPAGER # paging; REQUIRED -options VNODEPAGER # mmap() of files options DEVPAGER # mmap() of devices # CPU options |