#Buildfile for timekernel/vax

#include ../../vax/buildtemplate
#include ../mi/buildtemplate

