michaelg/dev: links for sk-kernel