WangNan0/kbuild-standalone
Standalone kconfig and kbuild
Repositories
WangNan0/coqui
WangNan0/coquille
Interactive theorem proving with Coq in vim.
WangNan0/linux
Linux kernel source tree
Standalone kconfig and kbuild
Interactive theorem proving with Coq in vim.
Linux kernel source tree