Gregory Nutt 2afd4595e4 Re-think how __KERNEL__ option is set in architecture Makefiles. Should be passed in EXTRADEFINES		2015-11-26 06:59:35 -06:00
..
include	Fix a typo	2015-11-23 18:55:38 +00:00
src	Re-think how __KERNEL__ option is set in architecture Makefiles. Should be passed in EXTRADEFINES	2015-11-26 06:59:35 -06:00
Kconfig	Add some comments to a Kconfig file	2015-09-24 14:53:04 -06:00