#ifndef VXBOOT_CONFIG
# define VXBOOT_CONFIG 1
/* vxBoot version */
#ifndef VXBOOT_VERSION
# define VXBOOT_VERSION "0.0.0"
#endif
#endif /* VXBOOT_CONFIG */