Re: port-arm32/50056: NetBSD is not booting in 2G DDR memory

[Matt Thomas <matt%3am-software.com@localhost>]

> On Jul 17, 2015, at 11:05 AM, Joerg Sonnenberger <joerg%britannica.bec.de@localhost> wrote:
> 
> The following reply was made to PR port-arm32/50056; it has been noted by GNATS.
> 
> From: Joerg Sonnenberger <joerg%britannica.bec.de@localhost>
> To: gnats-bugs%NetBSD.org@localhost
> Cc: port-arm32-maintainer%netbsd.org@localhost, gnats-admin%netbsd.org@localhost,
> 	netbsd-bugs%netbsd.org@localhost, senfriend%gmail.com@localhost
> Subject: Re: port-arm32/50056: NetBSD is not booting in 2G DDR memory
> Date: Fri, 17 Jul 2015 20:04:15 +0200
> 
> On Fri, Jul 17, 2015 at 07:35:01AM +0000, Martin Husemann wrote:
>> The following reply was made to PR port-arm32/50056; it has been noted by GNATS.
>> 
>> From: Martin Husemann <martin%duskware.de@localhost>
>> To: gnats-bugs%NetBSD.org@localhost
>> Cc: 
>> Subject: Re: port-arm32/50056: NetBSD is not booting in 2G DDR memory
>> Date: Fri, 17 Jul 2015 09:34:31 +0200
>> 
>> Looks at the CUBIETRUCK or ALLWINNER_A80 kernel configs, you probably
>> want KERNEL_BASE_* to be 0x80000000 and PMAP_NEED_ALLOC_POOLPAGE.
> 
> ...and you need to disable __HAVE_MM_MD_DIRECT_MAPPED_PHYS.

Not true.  PMAP_NEED_ALLOC_POOLPAGE means that can remain defined.