16:40:02.8546 [INFO] System bus created. 16:40:03.8536 [INFO] sysbus: Loading segment of 124564 bytes length at 0x0. 16:40:03.8667 [INFO] sysbus: Loading segment of 912 bytes length at 0x1E694. 16:40:03.8668 [INFO] sysbus: Loading segment of 4 bytes length at 0x1EA24. 16:40:03.8669 [INFO] sysbus: Loading segment of 26960 bytes length at 0x20000390. 16:40:04.1590 [INFO] cpu0: Setting initial values: PC = 0x27CD, SP = 0x200068E0. 16:40:04.1607 [INFO] bl654_dvk: Machine started. 16:40:04.1970 [WARNING] sysbus: [cpu0: 0x4140] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1970 [WARNING] sysbus: [cpu0: 0x410C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1981 [WARNING] sysbus: [cpu0: 0x410C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1982 [WARNING] sysbus: [cpu0: 0x410C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1982 [WARNING] sysbus: [cpu0: 0x410C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1982 [WARNING] sysbus: [cpu0: 0x423C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1997 [WARNING] sysbus: [cpu0: 0x4272] ReadDoubleWord from non existing peripheral at 0x10000130. 16:40:04.1998 [WARNING] sysbus: [cpu0: 0x429C] ReadDoubleWord from non existing peripheral at 0x10001200. 16:40:04.1998 [WARNING] sysbus: [cpu0: 0x42A8] ReadDoubleWord from non existing peripheral at 0x10001204. 16:40:04.2050 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:40:04.2063 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:40:04.2072 [WARNING] sysbus: [cpu0: 0x2D60] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:40:04.2073 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:40:04.2106 [WARNING] sysbus: [cpu0: 0x4B4A] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:40:04.2106 [WARNING] sysbus: [cpu0: 0x4B4A] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:40:04.2109 [WARNING] sysbus: [cpu0: 0x4B5C] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:40:04.2152 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0, 3-31] when writing value 0x6. Tags: PIN (0x19), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:40:04.2211 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 16:40:04.2211 [WARNING] sysbus: [cpu0: 0x36DE] ReadDoubleWord from non existing peripheral at 0x50000718. 16:40:04.2211 [WARNING] sysbus: [cpu0: 0x36DE] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 16:40:04.2212 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [0-2, 4-31] when writing value 0x8. Tags: PIN (0x17), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:40:04.2212 [WARNING] sysbus: [cpu0: 0x36DE] ReadDoubleWord from non existing peripheral at 0x50000720. 16:40:04.2212 [WARNING] sysbus: [cpu0: 0x36DE] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 16:40:04.2212 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [1, 3-31] when writing value 0x5. Tags: PIN (0x1A), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:40:04.2212 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 16:40:04.2213 [WARNING] sysbus: [cpu0: 0x36DE] ReadDoubleWord from non existing peripheral at 0x50000714. 16:40:04.2213 [WARNING] sysbus: [cpu0: 0x36DE] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 16:40:04.2213 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:40:04.2213 [WARNING] sysbus: [cpu0: 0x36DE] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:40:04.2214 [WARNING] sysbus: [cpu0: 0x36DE] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 16:40:04.2247 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:40:04.2247 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:40:04.2250 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:40:04.2284 [WARNING] clock: Unhandled read from offset 0x414. 16:40:04.2332 [WARNING] clock: Unhandled read from offset 0x10C. 16:40:04.2338 [WARNING] clock: Unhandled write to offset 0x10C, value 0x0. 16:40:04.2338 [WARNING] clock: Unhandled read from offset 0x10C. 16:40:04.2339 [WARNING] clock: Unhandled write to offset 0xC34, value 0x2. 16:40:04.2339 [WARNING] clock: Unhandled write to offset 0x10, value 0x1. 16:40:04.2339 [WARNING] clock: Unhandled write to offset 0x304. Unhandled bits: [3] when writing value 0x8. Tags: DONE (0x1). 16:40:04.2339 [WARNING] clock: Unhandled read from offset 0x10C. 16:40:04.2356 [WARNING] sysbus: [cpu0: 0x3858] WriteDoubleWord to non existing peripheral at 0x4000C304, value 0x1. 16:40:04.2435 [INFO] uart0: [host: 0.61s (+0.61s)|virt: 0.13ms (+0.13ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:40:04.2676 [WARNING] Pause on match was requested, but the matching string had already been printed when the assertion was made. Pause time will not be deterministic. 16:40:04.2726 [INFO] bl654_dvk: Machine paused. 16:40:04.2741 [INFO] bl654_dvk: Machine resumed. 16:40:04.2860 [INFO] uart0: [host: 0.65s (+42.53ms)|virt: 0.39ms (+0.26ms)] MicroPython c5fc34d on 2024-03-27; zephyr-bl654_dvk with nrf52840 16:40:04.4135 [INFO] uart0: [host: 0.78s (+0.13s)|virt: 0.24s (+0.24s)] >>> 2+2 16:40:04.4235 [INFO] uart0: [host: 0.79s (+9.94ms)|virt: 0.24s (+0.2ms)] 4 16:40:04.4312 [INFO] bl654_dvk: Machine paused. 16:40:04.9531 [INFO] bl654_dvk: Machine resumed. 16:40:04.9532 [INFO] uart0: [host: 1.32s (+0.53s)|virt: 0.24s (+1µs)] 16:40:04.9856 [INFO] uart0: [host: 1.35s (+32.38ms)|virt: 0.24s (+0.42ms)] >>> def compare(a, b): return True if a > b else False 16:40:05.0638 [INFO] uart0: [host: 1.43s (+78.18ms)|virt: 0.36s (+0.12s)] ... 16:40:05.2522 [INFO] uart0: [host: 1.62s (+0.19s)|virt: 0.55s (+0.18s)] >>> compare(3.2, 2.4) 16:40:05.2849 [INFO] uart0: [host: 1.65s (+32.69ms)|virt: 0.55s (+0.41ms)] True 16:40:05.2849 [INFO] bl654_dvk: Machine paused. 16:40:05.4720 [INFO] bl654_dvk: Machine resumed. 16:40:05.4721 [INFO] uart0: [host: 1.84s (+0.19s)|virt: 0.55s (+1µs)] 16:40:05.4838 [INFO] uart0: [host: 1.85s (+11.69ms)|virt: 0.55s (+0.22ms)] >>> compare(2.2, 5.8) 16:40:05.5031 [INFO] uart0: [host: 1.87s (+19.13ms)|virt: 0.55s (+0.48ms)] False 16:40:05.5739 [WARNING] Pause on match was requested, but the matching string had already been printed when the assertion was made. Pause time will not be deterministic. 16:40:05.5744 [INFO] bl654_dvk: Machine paused. 16:40:05.6174 [INFO] bl654_dvk: Disposed. 16:40:05.6175 [INFO] uart0: [host: 1.98s (+0.11s)|virt: 0.69s (+0.15s)] >>>