08:33:26.2633 [INFO] System bus created.
08:33:27.1677 [INFO] sysbus: Loading segment of 28672 bytes length at 0x0.
08:33:27.1857 [INFO] sysbus: Loading segment of 1403224 bytes length at 0x7000.
08:33:27.1861 [INFO] sysbus: Loading segment of 140 bytes length at 0x15D958.
08:33:27.2040 [INFO] cpu0: Setting PC value to 0x2E84.
08:33:27.2047 [INFO] cpu1: Setting PC value to 0x2E84.
08:33:27.2247 [INFO] cyclonev_socdk: Machine started.