Subject: Re: Announcing UVM support
To: Mark Brinicombe <mark@causality.com>
From: Perry E. Metzger <perry@piermont.com>
List: port-arm32
Date: 06/02/1998 17:17:00
Mark Brinicombe writes:
> To build a UVM kernel you will just need to uncomment the line
> 
> #options	UVM
> 
> in the appropriate config file.

You might also want to note that to build a UVM userland, you have to
put 

UVM=yes

into your /etc/mk.conf file before doing a "make build". you need a
UVM userland to run happily with UVM...

Perry