Thanks for your quick reply! > No, your first idea was right. The headers should be included where their > symbols are used, therefore in include/asm-arm/arch/rtai_timer.h Well, would it be possible to integrate this in Vulcano? Stefan