File list (Check if you may need any files):
tiny6410\dev\button.c
........\...\interrupt.c
........\...\led.c
........\...\Makefile
........\...\mmu.c
........\...\nand.c
........\...\uart.c
........\gboot.lds
........\include\ctype.h
........\.......\gcclib.h
........\.......\kernel.h
........\.......\stdio.h
........\.......\string.h
........\.......\system.h
........\.......\types.h
........\lib\ctype.c
........\...\div64.h
........\...\div64.S
........\...\lib1funcs.S
........\...\Makefile
........\...\muldi3.c
........\...\printf.c
........\...\printf.h
........\...\string.c
........\...\vsprintf.c
........\...\vsprintf.h
........\main.c
........\Makefile
........\mem.S
........\start.S
........\dev
........\include
........\lib
tiny6410