/arch/avr32/lib/