Kapten Bull , adjutant i norska generalstaben , har utnämnts till riddare af Hederslegionen.