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
..
arm
x86
.gitignore
bridge.c
cxx.c
Makefile
nuttx.c
rgmp.c