The next step is to compile TimeSys Linux:
# make dep
# make bzImage [3]
# make modules
# make modules_install
# make install
The make install should have put the kernel into /boot and even added a TimeSys entry into GRUB for you. If you want the new kernel to boot by default, edit /etc/grub.conf and change the default line to the appropriate zero-based index corresponding to the TimeSys kernel entry. (This will probably be 0).
[3] If you get errors about not finding i586-linux-gcc, edit the Makefile and comment out the line about CROSS_COMPILE.