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

[Joerg Sonnenberger <joerg%britannica.bec.de@localhost>]

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.

Joerg