11:30:32.4549 [INFO] System bus created. 11:30:33.0766 [INFO] Pseudorandom Number Generator was created with seed: 1517267385 11:30:33.3527 [INFO] sysbus: Loading segment of 22784 bytes length at 0x0. 11:30:33.3641 [INFO] sysbus: Loading segment of 212 bytes length at 0x5900. 11:30:33.3643 [INFO] sysbus: Loading segment of 4 bytes length at 0x59D4. 11:30:33.3644 [INFO] sysbus: Loading segment of 4968 bytes length at 0x200000D8. 11:30:33.7102 [INFO] Skipping serialization of the 'usb_kw24d512-sysbus.uart0-recorder' external as it's marked as transient 11:30:34.0785 [INFO] usb_kw24d512: Disposed.