10:40:43 [INFO] System bus created. 10:40:44 [INFO] cc3235sf_launchxl: Disposed.