minix3/minix — pull request #1 by the-grue (2013-07-07 21:39:41+00:00)
Title: Fix clock.h not found and add PCI_REV 0x83 support to fxp driver.

Modified arch_smp.c to allow it to build when building with SMP support. Passes build test.
Modified fxp.h and fxp.c to allow PCI_REV 0x83 to be identified and configured. Currently using modified driver on my development laptop.