original_kernel/arch/avr32/oprofile
..
Makefile
op_model_avr32.c