#include <R4300.h>
#include <bcp.h>
#include <os_bb.h>

u32
osBbGetBoxId(void)
{
    return IO_READ(PI_GPIO_REG) >> PI_GPIO_ID_SHIFT;
}