original_kernel/arch/nios2/boot/compressed
..
Makefile
console.c
head.S
misc.c
vmlinux.lds.S
vmlinux.scr