Juan Manuel Cruz 1c8f5a75e7 Kbuild: Standard output file names. ... This commit changes the name of the output files. The output names tinymountain.* have been changed to microkernel.* and nanokernel.*. Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com> Change-Id: Ia73daa35bb8e44972065af3a217bf87335169dac		2016-02-05 20:14:05 -05:00
arch
config
doc
drivers
host
include
kernel
lib
make
misc
net
samples
scripts	Kbuild: Standard output file names.	2016-02-05 20:14:05 -05:00
shared/include/nanokernel/x86
.gitattributes
.gitignore
.mailmap
Kconfig
Makefile	Kbuild: Standard output file names.	2016-02-05 20:14:05 -05:00
Makefile.inc	Kbuild: Standard output file names.	2016-02-05 20:14:05 -05:00
vxmicro-env.bash