20:17:34.9958 [INFO] System bus created. 20:17:36.6486 [INFO] sysbus: Loading segment of 124024 bytes length at 0x0. 20:17:36.6719 [INFO] sysbus: Loading segment of 896 bytes length at 0x1E478. 20:17:36.6737 [INFO] sysbus: Loading segment of 4 bytes length at 0x1E7F8. 20:17:36.6738 [INFO] sysbus: Loading segment of 26960 bytes length at 0x20000380. 20:17:37.1428 [INFO] cpu0: Setting initial values: PC = 0x27CD, SP = 0x200068D0. 20:17:37.1459 [INFO] bl653_dvk: Machine started. 20:17:37.2031 [WARNING] sysbus: [cpu0: 0x40BC] ReadDoubleWord from non existing peripheral at 0x10000130. 20:17:37.2076 [WARNING] sysbus: [cpu0: 0x418C] ReadDoubleWord from non existing peripheral at 0x10000130. 20:17:37.2076 [WARNING] sysbus: [cpu0: 0x41AE] ReadDoubleWord from non existing peripheral at 0x10001200. 20:17:37.2076 [WARNING] sysbus: [cpu0: 0x41BA] ReadDoubleWord from non existing peripheral at 0x10001204. 20:17:37.2165 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 20:17:37.2203 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 20:17:37.2220 [WARNING] sysbus: [cpu0: 0x2D60] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 20:17:37.2221 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 20:17:37.2272 [WARNING] sysbus: [cpu0: 0x497E] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 20:17:37.2273 [WARNING] sysbus: [cpu0: 0x497E] ReadDoubleWord from non existing peripheral at 0x4000617C. 20:17:37.2277 [WARNING] sysbus: [cpu0: 0x4990] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 20:17:37.2351 [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). 20:17:37.2479 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 20:17:37.2480 [WARNING] sysbus: [cpu0: 0x366E] ReadDoubleWord from non existing peripheral at 0x50000718. 20:17:37.2480 [WARNING] sysbus: [cpu0: 0x366E] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 20:17:37.2481 [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). 20:17:37.2481 [WARNING] sysbus: [cpu0: 0x366E] ReadDoubleWord from non existing peripheral at 0x50000720. 20:17:37.2482 [WARNING] sysbus: [cpu0: 0x366E] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 20:17:37.2482 [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). 20:17:37.2483 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 20:17:37.2484 [WARNING] sysbus: [cpu0: 0x366E] ReadDoubleWord from non existing peripheral at 0x50000714. 20:17:37.2484 [WARNING] sysbus: [cpu0: 0x366E] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 20:17:37.2563 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 20:17:37.2564 [WARNING] sysbus: [cpu0: 0x366E] ReadDoubleWord from non existing peripheral at 0x5000071C. 20:17:37.2564 [WARNING] sysbus: [cpu0: 0x366E] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 20:17:37.2621 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 20:17:37.2621 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 20:17:37.2624 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 20:17:37.2689 [WARNING] clock: Unhandled read from offset 0x414. 20:17:37.2801 [WARNING] clock: Unhandled read from offset 0x10C. 20:17:37.2811 [WARNING] clock: Unhandled write to offset 0x10C, value 0x0. 20:17:37.2811 [WARNING] clock: Unhandled read from offset 0x10C. 20:17:37.2811 [WARNING] clock: Unhandled write to offset 0x10, value 0x1. 20:17:37.2811 [WARNING] clock: Unhandled write to offset 0x304. Unhandled bits: [3] when writing value 0x8. Tags: DONE (0x1). 20:17:37.2812 [WARNING] clock: Unhandled read from offset 0x10C. 20:17:37.2844 [WARNING] sysbus: [cpu0: 0x37E8] WriteDoubleWord to non existing peripheral at 0x4000C304, value 0x1. 20:17:37.3031 [INFO] uart0: [host: 1.02s (+1.02s)|virt: 0.13ms (+0.13ms)] *** Booting Zephyr OS build 3723493f60a1 *** 20:17:37.3195 [INFO] bl653_dvk: Machine paused. 20:17:37.3273 [INFO] bl653_dvk: Machine resumed. 20:17:37.3280 [INFO] uart0: [host: 1.04s (+24.82ms)|virt: 0.17ms (+40µs)] 20:17:37.3673 [INFO] uart0: [host: 1.08s (+39.38ms)|virt: 0.39ms (+0.22ms)] MicroPython c5fc34d on 2024-03-27; zephyr-bl653_dvk with nrf52833 20:17:37.4806 [INFO] uart0: [host: 1.19s (+0.11s)|virt: 0.31s (+0.31s)] >>> 2+2 20:17:37.5068 [INFO] uart0: [host: 1.22s (+26.14ms)|virt: 0.31s (+0.2ms)] 4 20:17:37.5068 [INFO] bl653_dvk: Machine paused. 20:17:38.0481 [INFO] bl653_dvk: Machine resumed. 20:17:38.0483 [INFO] uart0: [host: 1.76s (+0.54s)|virt: 0.31s (+1µs)] 20:17:38.1094 [INFO] uart0: [host: 1.82s (+61.06ms)|virt: 0.31s (+0.42ms)] >>> def compare(a, b): return True if a > b else False 20:17:38.1563 [INFO] uart0: [host: 1.87s (+46.96ms)|virt: 0.45s (+0.15s)] ... 20:17:38.3453 [INFO] uart0: [host: 2.06s (+0.19s)|virt: 0.63s (+0.18s)] >>> compare(3.2, 2.4) 20:17:38.3707 [INFO] uart0: [host: 2.08s (+25.31ms)|virt: 0.63s (+0.41ms)] True 20:17:38.3707 [INFO] bl653_dvk: Machine paused. 20:17:38.5599 [INFO] bl653_dvk: Machine resumed. 20:17:38.5601 [INFO] uart0: [host: 2.27s (+0.19s)|virt: 0.63s (+1µs)] 20:17:38.6038 [INFO] uart0: [host: 2.31s (+41.81ms)|virt: 0.63s (+0.22ms)] >>> compare(2.2, 5.8) 20:17:38.6229 [INFO] uart0: [host: 2.34s (+20.94ms)|virt: 0.63s (+0.48ms)] False 20:17:38.6650 [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. 20:17:38.6651 [INFO] bl653_dvk: Machine paused. 20:17:38.7183 [INFO] bl653_dvk: Disposed.