09:55:44.4241 [INFO] System bus created.
09:55:45.2905 [INFO] sysbus: Loading segment of 245760 bytes length at 0x0.
09:55:45.3084 [INFO] sysbus: Loading segment of 1456280 bytes length at 0x3C000.
09:55:45.3088 [INFO] sysbus: Loading segment of 352 bytes length at 0x19F898.
09:55:45.3961 [INFO] cpu0: Setting PC value to 0x4DC8.
09:55:45.3979 [INFO] cpu1: Setting PC value to 0x4DC8.
09:55:45.4464 [INFO] cyclonev_socdk: Machine started.