[LinuxBIOS] Disabled device help
yinghai.lu at amd.com
Fri Nov 3 22:23:07 CET 2006
Get one infiband pci-e card, it should works with LinuxBIOS and kernel
with 4G above pref-mem.
I wonder if the recent pci_assign_unassigned_resources moving around in
kernel, broke sth.
From: linuxbios-bounces at linuxbios.org
[mailto:linuxbios-bounces at linuxbios.org] On Behalf Of Myles Watson
Sent: Friday, November 03, 2006 11:02 AM
Subject: [LinuxBIOS] Disabled device help
My large device gets disabled somewhere in LinuxBIOS or the kernel. This
the encouraging line from LinuxBIOS telling me that the registers are
PCI: 05:01.0 18 <- [8000000000 - bfffffffff] prefmem64
Unfortunately, Linux sees something different and fails to allocate this
region because it sees it at 00000080-000000bf and that conflicts with
Does anyone have a pointer to where I should look for this problem? Has
anyone else had problems with devices larger than 4GB?
linuxbios mailing list
linuxbios at linuxbios.org
More information about the coreboot