Export CONFIG_ options via #version/kconfig
[akaros.git] / Documentation / best-prectices.txt