/avr32/services/