A tiny operating system kernel, "pencil" is its name . 一个小型的操作系统内核,叫 Pencil-Kernel,有时叫PKn
注:本仓库已停止更新,最新版见https://gitee.com/LinChenjun2008/pencil_kernel
Standalone kconfig and kbuild. Other projects can depend on this project as basic tools for building like gcc and make, instead of merging them into their own source code.