port-amiga: Re: PR# 5087. It won't die.

Subject: Re: PR# 5087. It won't die.
To: David Hopper <dhop@nwlink.com>
From: Ignatios Souvatzis <is@jocelyn.rhein.de>
List: port-amiga
Date: 09/26/1998 20:55:59

On Sat, Sep 26, 1998 at 08:40:25PM +0200, Ignatios Souvatzis wrote:
> 
> I suggest you add
> 
> options "SYSPTSIZE=4"

options "VM_KERNEL_PT_SIZE=4"

sorry for the mistake.
	-is