I was wrong! Actual Developer Kit Mac Mini Hardware for the ARM transition.