configs/lc823450-xgevk: Update README.txt and defconfigs

Update comments on SMP in README.txt
Enable SYSTEM_TIME64 in defconfigs.
Enable INSTRUMENTATION in rndis configuration.

Signed-off-by: Masayuki Ishikawa <Masayuki.Ishikawa@jp.sony.com>

configs/lc823450-xgevk/README.txt

@@ -45,13 +45,33 @@ to set MSP (main stack pointer) as follows.
 SMP related Status
 ^^^^^^^^^^^^^^^^^^
 
-Currently all applications except for ostest work in SMP mode but might stop
-due to deadlocks or ASSERT().
-
 CPU activities are shown at D9 (CPU0) and D10 (CPU1) respectively.
 
-1. "nsh> smp" works but the result will be corrupted.
-2. "nsh> ostest" works but might cause a deadlock or assertion.
+Currently all applications except for ostest work in SMP mode but might stop
+due to deadlocks or ASSERT(). For a workaround, please try
+
+$ cd apps; git diff
+diff --git a/examples/ostest/waitpid.c b/examples/ostest/waitpid.c
+index 687f50ca..8418eff8 100644
+--- a/examples/ostest/waitpid.c
++++ b/examples/ostest/waitpid.c
+@@ -54,7 +54,7 @@
+  ****************************************************************************/
+ 
+ #define RETURN_STATUS 14
+-#define NCHILDREN     3
++#define NCHILDREN     2
+ #define PRIORITY      100
+ 
+ /****************************************************************************
+
+If other deadlocks or ASSERT() still happen, please try the following.
+
+$ cd nuttx; git revert e238c8b0904988b966c3b33e7df2ba3faba52e2b
+
+This will revert the changes for clock_systimer() for 64bit so that it can
+use spinlock to protect the internal data. We think that there still exist
+race conditions somewhere in SMP logic but the revert might relax the conditions.
 
 Other Status
 ^^^^^^^^^^^^

configs/lc823450-xgevk/audio/defconfig

@@ -127,6 +127,7 @@ CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
 CONFIG_SYSTEM_NXPLAYER=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_SYSTEM_USBMSC_CMD_STACKSIZE=2048
 CONFIG_SYSTEM_USBMSC_DEVPATH1="/dev/mtdblock0p10"
 CONFIG_SYSTEM_USBMSC_DEVPATH2="/dev/mtdblock1"

configs/lc823450-xgevk/nsh/defconfig

@@ -124,6 +124,7 @@ CONFIG_START_DAY=3
 CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_TASK_NAME_SIZE=24
 CONFIG_UART0_RXBUFSIZE=512
 CONFIG_UART0_SERIAL_CONSOLE=y

configs/lc823450-xgevk/rndis/defconfig

@@ -150,6 +150,9 @@ CONFIG_SCHED_HAVE_PARENT=y
 CONFIG_SCHED_HPWORKPERIOD=50000
 CONFIG_SCHED_HPWORKPRIORITY=192
 CONFIG_SCHED_HPWORK=y
+CONFIG_SCHED_INSTRUMENTATION_BUFFER=y
+CONFIG_SCHED_INSTRUMENTATION_PREEMPTION=y
+CONFIG_SCHED_INSTRUMENTATION=y
 CONFIG_SCHED_LPWORK=y
 CONFIG_SCHED_ONEXIT_MAX=32
 CONFIG_SCHED_ONEXIT=y
@@ -169,6 +172,7 @@ CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
 CONFIG_SYSTEM_NXPLAYER=y
 CONFIG_SYSTEM_PING=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_TASK_NAME_SIZE=24
 CONFIG_TELNET_CHARACTER_MODE=y
 CONFIG_UART0_RXBUFSIZE=512

configs/lc823450-xgevk/usb/defconfig

@@ -126,6 +126,7 @@ CONFIG_START_DAY=3
 CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2013
 CONFIG_SYSTEM_I2CTOOL=y
+CONFIG_SYSTEM_TIME64=y
 CONFIG_SYSTEM_USBMSC_CMD_STACKSIZE=2048
 CONFIG_SYSTEM_USBMSC_DEVPATH1="/dev/mtdblock0p10"
 CONFIG_SYSTEM_USBMSC_DEVPATH2="/dev/mtdblock1"