6. Compile the kernel

The next step is to compile TimeSys Linux:


        # make dep
        # make bzImage [1]
        # 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).

Notes

[1]

If you get errors about not finding i586-linux-gcc, edit the Makefile and comment out the line about CROSS_COMPILE.