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

introduce Kconfig style configuration for build system #14

Closed jserv closed 11 years ago

jserv commented 11 years ago

F9 Microkernel is designed to be highly configurable and customized for flexible embedded applications, such as IoT (Internet of Things) and medical devices.

olibc, another C Library implementation optimized for Embedded Linux, utilizes Kconfig, which handles the dependency issue of several combinations for specific configuration options. It is ideal to improve the build system for better customization by means of Kconfig.

vh21 commented 11 years ago

Will you plan to use the kconfig tools in linux kernel directly? Or will develop some tools like that?

jserv commented 11 years ago

I would prefer to utilize Kconfig with slight customizations as olibc does. We can create a new directory, externals, to keep such external packages in our source tree.

vh21 commented 11 years ago

I have a prototype of migrating olibc kconfig to F9-Microkernel build system. It's not complete yet and Configs are not moved yet. However please help to review the homework from https://github.com/vh21/f9-kernel/tree/kconfig

Thanks

vh21 commented 11 years ago

Please help to review the following changes, thanks

  1. vh21/f9-kernel@d928a18d1da6655c1e693ef811078c0a3caf4cdc: kconfig: add CONFIG_ head back
  2. vh21/f9-kernel@963c0bc32fc056ab821ce2b92fd95a4568124045: kconfig: generate c header for kconfig