timer.h - No such file or directory

[roger]

Using the smartcore-p5 tree:

gcc ... -o ide.o /home/roger/src/linuxbios/freebios/src/pc80/ide/ide.c
/home/roger/src/linuxbios/freebios/src/pc80/ide/ide.c:27:19: timer.h: No
such file or directory

I'm seeing a freebios/src/etherboot/timer.h &
freebios/src/arch/ppc/include/timer.h but nothing for the i386/