search

f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683 stars 145 forks source link

kconfig: add *.c_shipped back #38

Closed vh21 closed 11 years ago

vh21 commented 11 years ago

Fix build error reported in issue#37: PREPARE build/host/mconf CONFIG build/host/mconf gcc: build/host/zconf.tab.c: No such file or directory gcc: no input files