debugging the BSP