aircraft-manager for DELL mini 10v/9/12