tests/linux: use Akaros's CFLAGS
[akaros.git] / kern / drivers / timers /
drwxr-xr-x   ..
-rw-r--r-- 177 Kbuild
-rw-r--r-- 9168 hpet.c
-rw-r--r-- 1009 hpet.h