11:11:56 [INFO] System bus created.
11:11:58 [INFO] cc3235sf_launchxl: Disposed.