Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL

2026-06-06 00:14:22 +08:00 · 2014-08-29 14:47:22 -06:00
parent 833e172b83
commit 62231a28e9
14 changed files with 27 additions and 21 deletions
@@ -48,7 +48,7 @@ index 3cc6323..ad42790 100644
@@ -353,6 +359,7 @@ void up_boot(void)
    */
 
- #ifdef CONFIG_NUTTX_KERNEL
+ #ifdef CONFIG_BUILD_PROTECTED
 +lowsyslog("Calling a1x_userspace\n"); // REMOVE ME
   a1x_userspace();
 #endif