/* *  vivi/lib/version.c */#include "version.h"#include "compile.h"const char *vivi_banner =                       "VIVI bootloader " VIVI_RELEASE " (chris@yangchu.com) (" VIVI_COMPILER ") " UTS_VERSION "\r\n";