Add generic HPET Timer DXE Driver and support libraries
[mirror_edk2.git] / PcAtChipsetPkg / 8254TimerDxe /
drwxr-xr-x   ..
-rw-r--r-- 1441 8254Timer.inf
-rw-r--r-- 13238 Timer.c
-rw-r--r-- 7477 Timer.h