ko编译常见问题

记录ko编译过程中遇到的常见问题：
（1）找不到标准库头文件

解决方式：将lib库中的头文件链接到编译内核中。