On Wed, Oct 28, 2009 at 1:58 PM, Uwe Hermann
<uwe@hermann-uwe.de> wrote:
See patch.
I think it would be nice to figure out what we do with the "onboard" device at the same time.
from src/drivers/pci/onboard.c:
static void onboard_enable(device_t dev)