File list (Check if you may need any files):
pic rtos porting\Ports\Microchip\PIC24FJ128\C30\os_cpu.h
................\.....\.........\..........\...\os_cpu_a.s
................\.....\.........\..........\...\os_cpu_c.c
................\.....\.........\..........\...\os_cpu_util_a.s
................\.....\.........\..........\...\os_dbg.c
................\Source\os_core.c
................\......\os_flag.c
................\......\os_mbox.c
................\......\os_mem.c
................\......\os_mutex.c
................\......\os_q.c
................\......\os_sem.c
................\......\os_task.c
................\......\os_time.c
................\......\os_tmr.c
................\......\ucos_ii.h
................\Ports\Microchip\PIC24FJ128\C30
................\.....\.........\PIC24FJ128
................\.....\Microchip
................\Ports
................\Source
pic rtos porting