File list (Check if you may need any files):
s3c2440x\bootConfig.o
........\bootInit.o
........\bootInit_uncmp.o
........\bootrom_uncmp
........\bootrom_uncmp.bin
........\config.h
........\configNet.h
........\csEnd.c
........\csEnd.h
........\csSysEnd.c
........\depend.s3c2440x
........\dm9kEnd.c.bak
........\dm9kEnd.h.bak
........\Makefile
........\README
........\romInit.o
........\romInit.s
........\s3c2440x.h
........\s3c2440xIntrCtl.c
........\s3c2440xSio.c
........\s3c2440xSio.h
........\s3c2440xTimer.c
........\sysALib.o
........\sysALib.s
........\sysLib.c
........\sysLib.o
........\sysSerial.c
........\version.o
........\vxworks-doing.IAB
........\vxworks-doing.IAD
........\vxworks-doing.IMB
........\vxworks-doing.IMD
........\vxworks-doing.PFI
........\vxworks-doing.PO
........\vxworks-doing.PR
........\vxworks-doing.PRI
........\vxworks-doing.PS
........\vxworks-doing.SearchResults
........\vxworks-doing.WK3
s3c2440x