The tetra hardware is based on the Broadcom BCM23550 (referred to as java in the device tree) chipset.