Updated PCI IDs to latest snapshot.

[tangerine.git] / arch / x86_64-pc / timer / mmakefile.src

# $Id$
include $(TOP)/config/make.cfg

USER_INCLUDES := -I$(SRCDIR)/$(CURDIR)/.. -I$(SRCDIR)/rom/timer

%build_archspecific \
  mainmmake=kernel-timer maindir=rom/timer \
  arch=pc-x86_64 modulename=timer \
  files="timer_init beginio ticks readeclock timervblank getsystime"

%common