diff options
Diffstat (limited to 'nuttx/configs/pcduino-a10/nsh/pcduino-140107.patch')
| -rw-r--r-- | nuttx/configs/pcduino-a10/nsh/pcduino-140107.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/pcduino-a10/nsh/pcduino-140107.patch b/nuttx/configs/pcduino-a10/nsh/pcduino-140107.patch index b5df28eb8..e6a1b9c18 100644 --- a/nuttx/configs/pcduino-a10/nsh/pcduino-140107.patch +++ b/nuttx/configs/pcduino-a10/nsh/pcduino-140107.patch @@ -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 |