seungbae/dev: links for sk-kernel