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

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

The following reply was made to PR port-arm32/50056; it has been noted by GNATS.

From: Matt Thomas <matt%3am-software.com@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 13:15:34 -0700

 > On Jul 17, 2015, at 11:05 AM, Joerg Sonnenberger =
 <joerg%britannica.bec.de@localhost> wrote:
 >=20
 > The following reply was made to PR port-arm32/50056; it has been noted =
 by GNATS.
 >=20
 > 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
 >=20
 > 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.
 >>=20
 >> From: Martin Husemann <martin%duskware.de@localhost>
 >> To: gnats-bugs%NetBSD.org@localhost
 >> Cc:=20
 >> Subject: Re: port-arm32/50056: NetBSD is not booting in 2G DDR memory
 >> Date: Fri, 17 Jul 2015 09:34:31 +0200
 >>=20
 >> Looks at the CUBIETRUCK or ALLWINNER_A80 kernel configs, you probably
 >> want KERNEL_BASE_* to be 0x80000000 and PMAP_NEED_ALLOC_POOLPAGE.
 >=20
 > ...and you need to disable __HAVE_MM_MD_DIRECT_MAPPED_PHYS.
 
 Not true.  PMAP_NEED_ALLOC_POOLPAGE means that can remain defined.