Re: A few issues while playing with virt68k

[Chris Hanson <cmhanson%eschatologist.net@localhost>]

On Mar 17, 2024, at 2:55 PM, Jason Thorpe <thorpej%me.com@localhost> wrote:
>> While switching PGSHIFT to 13 might be a cheap fix, perhaps there's a better way?
> 
> No, that is not a better way, IMO.

Switching to a PGSHIFT of 13 isn’t better, but doesn’t seem like an unreasonable workaround while your improved pmap support is in progress.

  -- Chris