You can get information about the Version of the BSP using this IOCTL. You can also get this information in SysInfoLib.
typedef struct { DWORD ID; DWORD Maj; DWORD Min; } BSPVER; #define IOCTL_HAL_GET_BSP_VER CTL_CODE(FILE_DEVICE_HAL, 2051, METHOD_BUFFERED, FILE_ANY_ACCESS)
KernelIoControl(IOCTL_HAL_GET_BSP_VER, NULL, 0, &BspVer, sizeof(BSPVER), NULL); if(BspVer.Min>>16) swprintf(betaStr, L"BETA, Build %d", BspVer.Min>>16); else betaStr[0]=0; wprintf(L"Image (current running)\r\nID:\t%s\r\nVer:\t%d.%d %s\r\n", BspVer.ID==1 ? L"COLIBRI" : L"UNKNOWN", BspVer.Maj, BspVer.Min&0xffff, betaStr);