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

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

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.
 
 Joerg