this is how the ce kernel is built, from its object/library files
80041000DISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\FWP2.S
8004131CDISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\MAP1100.H
80041400
80041424c compiler debug header
8004144CDISK2\PLATFORM\ODODUB\KERNEL\HAL\DEBUG.C [data]
80041528DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\OBJDISP.C [data]
80041558DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\ARM\MDARM.C [data]
80041A60DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\KWIN32.C [data]
80041DC8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\SCHEDULE.C [data]
80041F2CDISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\KMISC.C [data]
80042030DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\LOADER.C [data]
800420F0DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\HEAP.C [data]
80042170DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\MAPFILE.C [data]
80042198DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\PRINTF.C [data]
80042200DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\VIRTMEM.C [data]
80042298DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\RESOURCE.C [data]
800423DC.... L"InitializeJit\n"
800423FCDISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\STUBS.C [data]
80042414....
800424b0DISK2\PLATFORM\ODODUB\KERNEL\HAL\bitmap.c
800580FCDISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\TIME1100.C [data]
80058104DISK2\PLATFORM\ODODUB\KERNEL\HAL\DEBUG.C [code]
80058580DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\ARM\ARMTRAP.S [code]
80059804DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\OBJDISP.C [code]
8005B248DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\ARM\MDARM.C [code]
8005C79CDISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\KWIN32.C [code]
8005D32CDISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\SCHEDULE.C [code]
80065A38DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\KMISC.C [code]
8006A490DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\LOADER.C [code]
80071228DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\HEAP.C [code]
800715E0DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\MAPFILE.C [code]
800740F8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\PRINTF.C [code]
80074CC8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\PHYSMEM.C [code]
80075C28DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\VIRTMEM.C [code]
800781B8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\EXDSPTCH.C [code]
80078A88DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\ARM\INTRLOCK.S [code]
80078AF8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\RESOURCE.C [code]
8007A628..... [InitializeJit + ModuleJit]
8007A650DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\PROFILER.C [code]
8007A698DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\INTRAPI.C [code]
8007A8A8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\PPFS.C [code]
8007B5B8DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\COMPR2.C [code]
8007BD34DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\MEMTRK.C [code]
8007BD58DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\STUBS.C [code]
8007BE28DISK2\PRIVATE\WINCEOS\COREOS\CORE\DLL\CSCODE.C [code]
8007BFACDISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\ARM\STRINGS.C
8007C008DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\ARM\UNWIND.C
8007CAC8NKCOMPR.LIB
8007D6A8DISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\INT1100.C
8007E234DISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\CACH1100.S
8007E298DISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\CACHE.S
8007E2A0DISK2\PLATFORM\ODODUB\KERNEL\HAL\cfwp2.c
80080BCCDISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\TIME1100.C [code]
80081418DISK2\PLATFORM\ODODUB\KERNEL\HAL\mdppfs.c
80081838DISK2\PLATFORM\ODODUB\KERNEL\HAL\oemioctl.c
8008322c.....
80084210..... [ flashutl gsm init, versaion ]
80086EAC..... [ memset, div, mod, strlen ]
80087F20..... [ edbg... ]
8008CBBC[exceptiondata]
8008E0CCend
8008E000.... some code
8008E0CCend
8008F000[pdata]
80090C00end
8C0BA000.... more data
8C0BA0A0DISK2\PRIVATE\WINCEOS\COREOS\NK\KERNEL\HEAP.C [data]
8C0BA140....
8C0BA168DISK2\PLATFORM\ODODUB\KERNEL\HAL\ARM\TIME1100.C [data]
8C0BA1C8....