kernel: Links/information on kernel development