Various APIC debugging and IOAPIC IRQ routing
[akaros.git] / kern / arch / x86 / time.h
1 #ifndef ROS_KERN_ARCH_TIME_H
2 #define ROS_KERN_ARCH_TIME_H
3
4 #include <arch/apic.h>
5
6 #endif /* ROS_KERN_ARCH_TIME_H */