kern/include/common.h

#ifndef ROS_KERN_COMMON_H
#define ROS_KERN_COMMON_H

#include <ros/common.h>

/* Force a rebuild of the whole kernel if 64BIT-ness changed */
#ifdef CONFIG_64BIT
#endif

#endif /* ROS_KERN_COMMON_H */