19:41:31.6349 [INFO] System bus created. 19:41:32.5505 [INFO] Pseudorandom Number Generator was created with seed: 2115899 19:41:32.9032 [INFO] sysbus: Loading segment of 18812 bytes length at 0x0. 19:41:32.9239 [INFO] sysbus: Loading segment of 70 bytes length at 0x497C. 19:41:32.9240 [INFO] sysbus: Loading segment of 4 bytes length at 0x49C2. 19:41:32.9240 [INFO] sysbus: Loading segment of 3816 bytes length at 0x20000048. 19:41:33.5097 [INFO] Skipping serialization of the 'frdm_k22f-sysbus.uart1-recorder' external as it's marked as transient 19:41:33.9985 [INFO] frdm_k22f: Disposed.