The next step is to compile TimeSys Linux:
# make dep # make bzImage  # 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).
If you get errors about not finding i586-linux-gcc, edit the Makefile and comment out the line about CROSS_COMPILE.