Allan Stephens c29d41cab7 Rename nanokernel's nanok.h to nano_private.h ... The new name better reflects that this file contains all private nanokernel APIs that are used by various kernel subsystems. Change-Id: I4c258d582e93753eec9e575fdb5f9f2109417a0f Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:14:26 -05:00
..
Makefile	Use ccflags-y and asflags-y instead of EXTRA_CFLAGS	2016-02-05 20:14:14 -05:00
static_idt.c	Rename nanokernel's nanok.h to nano_private.h	2016-02-05 20:14:26 -05:00
test_asm_inline_gcc.h	Rename VXMICRO_ARCH_x86 -> CONFIG_X86_32	2016-02-05 20:14:16 -05:00
test_stubs.S	Rename nanokernel's nanok.h to nano_private.h	2016-02-05 20:14:26 -05:00