>  > >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.
> 
> which commercial binary-only driver?  Mach VM is about to be purged from
> the source tree completely...

Soundcard driver from 4Front Technologies (OSS). It needs these symbols:
/usr/local/lib/oss/oss.o: Undefined symbol `_PTmap' referenced from text segment
/usr/local/lib/oss/oss.o: Undefined symbol `_kmem_free' referenced from text segment
/usr/local/lib/oss/oss.o: Undefined symbol `_page_mask' referenced from text segment
/usr/local/lib/oss/oss.o: Undefined symbol `_vm_page_alloc_memory' referenced from text segment
/usr/local/lib/oss/oss.o: Undefined symbol `_kmem_alloc_pageable' referenced from text segment
/usr/local/lib/oss/oss.o: Undefined symbol `_vm_page_free_memory' referenced from text segment
modload: can't prelink `/usr/local/lib/oss/oss.o' creating `/usr/local/lib/oss/oss'
Failed to load the OSS driver module.

-- 
Zdenek Salvet                                              salvet@ics.muni.cz 
Ustav vypocetni techniky Masarykovy univerzity, Brno
tel.: ++420-5-41 512 257                           Fax: ++420-5-41 212 747
----------------------------------------------------------------------------
           If God had meant for us to be in the Army,
         we would have been born with green, baggy skin.