# make dep# make bzImage[20]
# make modules# make modules_install# make install
make install komutu ile çekirdeğiniz /boot dizinine kopyalanmalı ve hatta GRUB'a TimeSys girdisi eklenmelidir. Eğer yeni çekirdeğinizin öntanımlı olarak kullanılmasını isterseniz /etc/grub.conf dosyasını düzenleyerek default satırını TimeSys çekirdeğinize karşılık gelecek şekilde değiştirin.
[20] Eğer i586-linux-gcc bulunamadı hataları alırsanız, Makefile dosyasını düzenleyerek CROSS_COMPILE ile ilgili bölümü kaldırın.