有没有专业的，解释一下KaihongOS里面这个Linux代码是干什么用的！ 我看到怎么是Linux内核？ ​