17:03:50.1627 [INFO] System bus created. 17:03:52.2297 [INFO] sysbus: Loading segment of 40672 bytes length at 0x40000000. 17:03:52.2595 [INFO] sysbus: Loading segment of 64 bytes length at 0x40009EE0. 17:03:52.3006 [INFO] cpu0: Setting PC value to 0x40000000. 17:03:52.3504 [INFO] litex_vexriscv: Machine started. 17:03:52.5144 [INFO] uart0: [host: 0.75s (+0.75s)|virt: 0.8ms (+0.8ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:03:52.5426 [INFO] litex_vexriscv: Machine paused. 17:03:52.5539 [INFO] litex_vexriscv: Machine resumed. 17:03:52.5575 [INFO] uart0: [host: 0.79s (+43.23ms)|virt: 0.81ms (+10µs)] 17:03:52.5594 [INFO] uart0: [host: 0.8s (+1.62ms)|virt: 0.81ms (+0s)] Hello World! litex_vexriscv/litex_vexriscv 17:03:52.5597 [INFO] litex_vexriscv: Machine paused. 17:03:52.6883 [INFO] litex_vexriscv: Disposed.