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.