El 29/12/14 a les 12.41, Roger Pau Monné ha escrit:
> Hello,
> Sorry for not noticing this earlier, I've been without a computer for
> some days. Do you get a panic message, or the system just freezes?
> Can you please post the full boot output with boot_verbose enabled?

I'm not able to reproduce the problem with Qemu and OVMF, and I don't
have any box right now that uses UEFI.

I'm guessing that this is due to some memory reservation conflict, so
I'm attaching a patch that should help diagnose it. Could you provide
the information requested above with this patch applied?

Thanks, Roger.

diff --git a/sys/x86/x86/nexus.c b/sys/x86/x86/nexus.c
index 0663602..d563c36 100644
--- a/sys/x86/x86/nexus.c
+++ b/sys/x86/x86/nexus.c
@@ -367,6 +367,10 @@ nexus_alloc_resource(device_t bus, device_t child, int 
type, int *rid,
        struct  rman *rm;
        int needactivate = flags & RF_ACTIVE;
+       if (type == SYS_RES_MEMORY)
+               printf("%s: RSV range 0x%lx - 0x%lx size %lu\n",
+                   device_get_name(child), start, end, count);
         * If this is an allocation of the "default" range for a given
         * RID, and we know what the resources for this device are
freebsd-current@freebsd.org mailing list
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Reply via email to