Re: port-amd64/51919: boot-loader doesn't differentiate XEN and PAE module versions

[Martin Husemann <martin%duskware.de@localhost>]

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

From: Martin Husemann <martin%duskware.de@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: port-amd64/51919: boot-loader doesn't differentiate XEN and PAE
 module versions
Date: Thu, 26 Jan 2017 06:33:13 +0100

 I wonder if it would be better/simpler to add a boot.cfg option to override
 machine here (and while there, also the module path as discussed before
 elsewhere ;-})
 
 The DomU kernels have a special section marking them:
 
   [17] __xen_guest       PROGBITS        00000000 433db2 0000c3 00      0   0  1
 
 and Dom0 seem to have:
 
   [18] .note.Xen         NOTE             0000000000000000  00cc2ec8
 
 but I don't know if both are required or the bootloader can rely on them
 to differentiate the two cases.
 
 Martin