19:30:28.3204 [INFO] System bus created. 19:30:29.5108 [INFO] sysbus: Loading segment of 127320 bytes length at 0x0. 19:30:29.5271 [INFO] sysbus: Loading segment of 1071 bytes length at 0x1F158. 19:30:29.5273 [INFO] sysbus: Loading segment of 4 bytes length at 0x1F587. 19:30:29.5274 [INFO] sysbus: Loading segment of 26256 bytes length at 0x20000430. 19:30:29.8941 [INFO] cpu0: Setting initial values: PC = 0x27F9, SP = 0x20006600. 19:30:29.8949 [INFO] bt610: Machine started. 19:30:29.9507 [WARNING] sysbus: [cpu0: 0x4148] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9510 [WARNING] sysbus: [cpu0: 0x4114] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9516 [WARNING] sysbus: [cpu0: 0x4114] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9518 [WARNING] sysbus: [cpu0: 0x4114] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9519 [WARNING] sysbus: [cpu0: 0x4114] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9519 [WARNING] sysbus: [cpu0: 0x4244] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9538 [WARNING] sysbus: [cpu0: 0x427A] ReadDoubleWord from non existing peripheral at 0x10000130. 19:30:29.9539 [WARNING] sysbus: [cpu0: 0x42A4] ReadDoubleWord from non existing peripheral at 0x1000120C. 19:30:29.9539 [WARNING] sysbus: [cpu0: 0x42DA] ReadDoubleWord from non existing peripheral at 0x10001200. 19:30:29.9540 [WARNING] sysbus: [cpu0: 0x42E2] ReadDoubleWord from non existing peripheral at 0x10001204. 19:30:29.9658 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 19:30:29.9694 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 19:30:29.9707 [WARNING] sysbus: [cpu0: 0x2ED0] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 19:30:29.9708 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 19:30:29.9717 [WARNING] sysbus: [cpu0: 0x4AE2] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 19:30:29.9717 [WARNING] sysbus: [cpu0: 0x4AE2] ReadDoubleWord from non existing peripheral at 0x4000617C. 19:30:29.9721 [WARNING] sysbus: [cpu0: 0x4AF4] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 19:30:29.9775 [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). 19:30:29.9816 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 19:30:29.9817 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000718. 19:30:29.9817 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 19:30:29.9817 [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). 19:30:29.9818 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000720. 19:30:29.9818 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 19:30:29.9845 [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). 19:30:29.9846 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 19:30:29.9846 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000714. 19:30:29.9846 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 19:30:29.9847 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:30:29.9847 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x5000071C. 19:30:29.9847 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 19:30:29.9849 [WARNING] sysbus: [cpu0: 0x15D28] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 19:30:29.9849 [WARNING] sysbus: [cpu0: 0x15D28] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 19:30:29.9850 [WARNING] sysbus: [cpu0: 0x43BC] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 19:30:29.9863 [WARNING] uart1: Unhandled write to offset 0x50C. Unhandled bits: [0-3, 5-31] when writing value 0x10. Tags: PIN (0xF), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:30:29.9867 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000740. 19:30:29.9868 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000740, value 0x3. 19:30:29.9868 [WARNING] uart1: Unhandled write to offset 0x514. Unhandled bits: [0, 4-31] when writing value 0xE. Tags: PIN (0x11), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:30:29.9868 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000738. 19:30:29.9881 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000738, value 0x0. 19:30:29.9881 [WARNING] uart1: Unhandled write to offset 0x508. Unhandled bits: [1, 4-31] when writing value 0xD. Tags: PIN (0x12), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:30:29.9881 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [13] when writing value 0x2000. Tags: RESERVED (0x4). 19:30:29.9882 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000734. 19:30:29.9882 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000734, value 0x3. 19:30:29.9882 [WARNING] uart1: Unhandled write to offset 0x510. Unhandled bits: [4-31] when writing value 0xF. Tags: PIN (0x10), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:30:29.9882 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x5000073C. 19:30:29.9883 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x5000073C, value 0x0. 19:30:29.9883 [WARNING] sysbus: [cpu0: 0x15D28] WriteDoubleWord to non existing peripheral at 0x4001F5A0, value 0x40028120. 19:30:29.9883 [WARNING] sysbus: [cpu0: 0x15D28] WriteDoubleWord to non existing peripheral at 0x4001F5A4, value 0x4002800C. 19:30:29.9884 [WARNING] sysbus: [cpu0: 0x43BC] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x40000. 19:30:29.9902 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 19:30:29.9903 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 19:30:29.9905 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 19:30:29.9952 [WARNING] clock: Unhandled read from offset 0x414. 19:30:30.0062 [WARNING] i2c0: Unhandled write to offset 0x50C, value 0x1A. 19:30:30.0063 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x50000768. 19:30:30.0063 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x50000768, value 0x600. 19:30:30.0063 [WARNING] i2c0: Unhandled write to offset 0x508, value 0x1B. 19:30:30.0063 [WARNING] sysbus: [cpu0: 0x3938] ReadDoubleWord from non existing peripheral at 0x5000076C. 19:30:30.0081 [WARNING] sysbus: [cpu0: 0x3938] WriteDoubleWord to non existing peripheral at 0x5000076C, value 0x600. 19:30:30.0082 [WARNING] i2c0: Unhandled write to offset 0x524, value 0x1980000. 19:30:30.0092 [WARNING] i2c0: Tried to select a not-connected slave at address 0x70 19:30:30.0122 [WARNING] i2c0: No slave is currently attached at selected address 0x70 19:30:30.0235 [INFO] uart0: [host: 0.78s (+0.78s)|virt: 0.22ms (+0.22ms)] *** Booting Zephyr OS build 3723493f60a1 *** 19:30:30.0400 [INFO] bt610: Machine paused. 19:30:30.0467 [INFO] bt610: Machine resumed. 19:30:30.0476 [INFO] uart0: [host: 0.8s (+23.99ms)|virt: 0.27ms (+50µs)] 19:30:30.0851 [INFO] uart0: [host: 0.84s (+37.67ms)|virt: 0.53ms (+0.26ms)] MicroPython c5fc34d on 2024-03-27; zephyr-bt610 with nrf52840 19:30:30.1882 [INFO] uart0: [host: 0.94s (+0.1s)|virt: 0.28s (+0.27s)] >>> 2+2 19:30:30.2048 [INFO] uart0: [host: 0.96s (+16.6ms)|virt: 0.28s (+0.2ms)] 4 19:30:30.2048 [INFO] bt610: Machine paused. 19:30:30.7329 [INFO] bt610: Machine resumed. 19:30:30.7331 [INFO] uart0: [host: 1.49s (+0.53s)|virt: 0.28s (+1µs)] 19:30:30.7723 [INFO] uart0: [host: 1.53s (+39.09ms)|virt: 0.28s (+0.5ms)] >>> def compare(a, b): return True if a > b else False 19:30:30.8456 [INFO] uart0: [host: 1.6s (+73.32ms)|virt: 0.4s (+0.12s)] ... 19:30:31.0382 [INFO] uart0: [host: 1.79s (+0.19s)|virt: 0.59s (+0.19s)] >>> compare(3.2, 2.4) 19:30:31.0625 [INFO] uart0: [host: 1.82s (+26.48ms)|virt: 0.59s (+0.41ms)] True 19:30:31.0626 [INFO] bt610: Machine paused. 19:30:31.2528 [INFO] bt610: Machine resumed. 19:30:31.2529 [INFO] uart0: [host: 2.01s (+0.19s)|virt: 0.59s (+2µs)] 19:30:31.2739 [INFO] uart0: [host: 2.03s (+21ms)|virt: 0.59s (+0.23ms)] >>> compare(2.2, 5.8) 19:30:31.2998 [INFO] uart0: [host: 2.05s (+25.86ms)|virt: 0.59s (+0.47ms)] False 19:30:31.3593 [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. 19:30:31.3596 [INFO] bt610: Machine paused. 19:30:31.3955 [INFO] bt610: Disposed. 19:30:31.3961 [INFO] uart0: [host: 2.15s (+96.28ms)|virt: 0.73s (+0.14s)] >>>