Ardusub and pixhawk1 future

Given there is reference to Navigator board support in recent firmware updates, perhaps BR have developed their own in-house board?