From 953584777c08ca70a5e70458e5799613e97c7882 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Fri, 29 Aug 2014 14:47:22 -0600 Subject: [PATCH] Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL --- Documentation/NuttxPortingGuide.html | 23 ++++++++++------------- 1 file changed, 10 insertions(+), 13 deletions(-) diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html index 88155b8cad..7bbadfaed3 100644 --- a/Documentation/NuttxPortingGuide.html +++ b/Documentation/NuttxPortingGuide.html @@ -12,7 +12,7 @@

NuttX RTOS Porting Guide

-

Last Updated: August 24, 2014

+

Last Updated: August 29, 2014

@@ -486,7 +486,7 @@ kernel-mode NuttX functions. This directory must always be provided to prevent compilation errors. However, it need only contain valid function declarations if the architecture - supports the CONFIG_NUTTX_KERNEL configuration. + supports the CONFIG_BUILD_PROTECTED or CONFIG_BUILD_KERNELconfigurations. @@ -1909,7 +1906,7 @@ The system can be re-made subsequently by just typing make.

- This API is NOT required if CONFIG_NUTTX_KERNEL is undefined or if CONFIG_CUSTOM_STACK is defined. + This API is NOT required if CONFIG_BUILD_PROTECTED and CONFIG_BUILD_KERNEL are undefined or if CONFIG_CUSTOM_STACK is defined.

Input Parameters: