>Number:         6595
>Category:       kern
>Synopsis:       cannot choose Mach VM in kernel config
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    kern-bug-people (Kernel Bug People)
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Wed Dec 16 02:05:01 1998
>Last-Modified:
>Originator:     
>Organization:
Masaryk University, Brno, Czech Republic
>Release:        current of 12/12/1998
>Environment:
System: NetBSD horn.ics.muni.cz 1.3I NetBSD 1.3I (HORN_PII_2) #0: Tue Dec 15 19:57:37 MET 1998 salvet@elanor.sci.muni.cz:/disk3/home/salvet/kernel/src/sys/arch/i386/compile/HORN_PII_2 i386


>Description:
	One can't choose Mach VM instead of UVM by editing kernel
	config file and must edit "std.$MACHINE" file.
        I need Mach VM in order to use commercial binary-only driver.

>How-To-Repeat:
>Fix:
       Please, move UVM and PMAP_NEW options back to config files
       that are meant to be edited by users. Thanks.
>Audit-Trail:
>Unformatted: