diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 14:47:22 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 14:47:22 -0600 |
commit | 64892e44f2ce2612c77b1b20497fb007adafafb8 (patch) | |
tree | 2c917f29727a017b85193ac85959663d504b26e5 /nuttx/arch/arm/src/tiva/tiva_userspace.h | |
parent | c48af0eb9c61462f59a7ba63ca7a73e8df146f49 (diff) | |
download | nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.tar.gz nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.tar.bz2 nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.zip |
Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL
Diffstat (limited to 'nuttx/arch/arm/src/tiva/tiva_userspace.h')
-rw-r--r-- | nuttx/arch/arm/src/tiva/tiva_userspace.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/arch/arm/src/tiva/tiva_userspace.h b/nuttx/arch/arm/src/tiva/tiva_userspace.h index b6cb3541c..cdfced142 100644 --- a/nuttx/arch/arm/src/tiva/tiva_userspace.h +++ b/nuttx/arch/arm/src/tiva/tiva_userspace.h @@ -69,7 +69,7 @@ * ****************************************************************************/ -#ifdef CONFIG_NUTTX_KERNEL +#ifdef CONFIG_BUILD_PROTECTED void tiva_userspace(void); #endif |