bug: kernel timer added twice

Printable View