12:32:02.7606 [INFO] System bus created. 12:32:03.6869 [INFO] sysbus: Loading segment of 25248 bytes length at 0x0. 12:32:03.6973 [INFO] sysbus: Loading segment of 176 bytes length at 0x62A0. 12:32:03.6974 [INFO] sysbus: Loading segment of 4 bytes length at 0x6350. 12:32:03.6974 [INFO] sysbus: Loading segment of 17120 bytes length at 0x200000B0. 12:32:03.9914 [INFO] cpu0: Setting initial values: PC = 0xB41, SP = 0x20004390. 12:32:03.9919 [INFO] nrf52840_mdk: Machine started. 12:32:04.0359 [WARNING] sysbus: [cpu0: 0x1F24] ReadDoubleWord from non existing peripheral at 0x10000130. 12:32:04.0359 [WARNING] sysbus: [cpu0: 0x1EF0] ReadDoubleWord from non existing peripheral at 0x10000130. 12:32:04.0375 [WARNING] sysbus: [cpu0: 0x1EF0] ReadDoubleWord from non existing peripheral at 0x10000130. 12:32:04.0375 [WARNING] sysbus: [cpu0: 0x1EF0] ReadDoubleWord from non existing peripheral at 0x10000130. 12:32:04.0375 [WARNING] sysbus: [cpu0: 0x1EF0] ReadDoubleWord from non existing peripheral at 0x10000130. 12:32:04.0375 [WARNING] sysbus: [cpu0: 0x2020] ReadDoubleWord from non existing peripheral at 0x10000130. 12:32:04.0376 [WARNING] sysbus: [cpu0: 0x2062] ReadDoubleWord from non existing peripheral at 0x10001200. 12:32:04.0376 [WARNING] sysbus: [cpu0: 0x206E] ReadDoubleWord from non existing peripheral at 0x10001204. 12:32:04.0443 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 12:32:04.0466 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 12:32:04.0476 [WARNING] sysbus: [cpu0: 0x1070] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 12:32:04.0477 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 12:32:04.0487 [WARNING] sysbus: [cpu0: 0x2882] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 12:32:04.0487 [WARNING] sysbus: [cpu0: 0x2882] ReadDoubleWord from non existing peripheral at 0x4000617C. 12:32:04.0487 [WARNING] sysbus: [cpu0: 0x2894] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 12:32:04.0532 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0-1, 3, 5-31] when writing value 0x14. Tags: PIN (0xB), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:32:04.0570 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [20] when writing value 0x100000. Tags: RESERVED (0x4). 12:32:04.0570 [WARNING] sysbus: [cpu0: 0x17DC] ReadDoubleWord from non existing peripheral at 0x50000750. 12:32:04.0570 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x50000750, value 0x3. 12:32:04.0571 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [2-3, 5-31] when writing value 0x13. Tags: PIN (0xC), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:32:04.0571 [WARNING] sysbus: [cpu0: 0x17DC] ReadDoubleWord from non existing peripheral at 0x5000074C. 12:32:04.0571 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x5000074C, value 0x0. 12:32:04.0572 [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). 12:32:04.0572 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 12:32:04.0572 [WARNING] sysbus: [cpu0: 0x17DC] ReadDoubleWord from non existing peripheral at 0x50000714. 12:32:04.0572 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 12:32:04.0572 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:32:04.0572 [WARNING] sysbus: [cpu0: 0x17DC] ReadDoubleWord from non existing peripheral at 0x5000071C. 12:32:04.0572 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 12:32:04.0607 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 12:32:04.0608 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 12:32:04.0610 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 12:32:04.0647 [WARNING] clock: Unhandled read from offset 0x414. 12:32:04.0807 [INFO] uart0: [host: 0.61s (+0.61s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 12:32:04.0834 [INFO] uart0: [host: 0.61s (+2.68ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 12:32:04.0841 [INFO] uart0: [host: 0.61s (+0.82ms)|virt: 0.1ms (+0s)] ---------------- 12:32:04.0890 [INFO] uart0: [host: 0.62s (+4.16ms)|virt: 0.2ms (+96µs)] An implementation of a solution to the Dining Philosophers 12:32:04.0916 [INFO] uart0: [host: 0.62s (+3.26ms)|virt: 0.2ms (+0s)] problem (a classic multi-thread synchronization problem). 12:32:04.0990 [INFO] uart0: [host: 0.63s (+7.42ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 12:32:04.0991 [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. 12:32:04.1032 [INFO] nrf52840_mdk: Machine paused. 12:32:04.1062 [INFO] nrf52840_mdk: Machine resumed. 12:32:04.1096 [INFO] uart0: [host: 0.64s (+10.62ms)|virt: 0.3ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 12:32:04.1125 [INFO] uart0: [host: 0.64s (+2.9ms)|virt: 0.3ms (+0s)] well as dynamic mutexes and thread sleeping. 12:32:04.1190 [INFO] uart0: [host: 0.65s (+6.48ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 12:32:04.1267 [INFO] uart0: [host: 0.65s (+5.32ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:32:04.1281 [INFO] uart0: [host: 0.66s (+3.74ms)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 12:32:04.1331 [INFO] uart0: [host: 0.66s (+5.03ms)|virt: 0.55ms (+45µs)] [6;1HPhilosopher 5 [C:-2] STARVING 12:32:04.1378 [INFO] uart0: [host: 0.67s (+4.72ms)|virt: 0.6ms (+55µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 12:32:04.1432 [INFO] uart0: [host: 0.67s (+5.41ms)|virt: 0.65ms (+50µs)] [4;1HPhilosopher 3 [P: 0] STARVING 12:32:04.1478 [INFO] uart0: [host: 0.68s (+4.59ms)|virt: 0.7ms (+50µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:32:04.1551 [INFO] uart0: [host: 0.68s (+7.3ms)|virt: 0.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 12:32:04.1611 [INFO] uart0: [host: 0.69s (+5.41ms)|virt: 0.8ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 12:32:04.1675 [INFO] uart0: [host: 0.69s (+5.81ms)|virt: 0.9ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 12:32:04.1744 [INFO] uart0: [host: 0.7s (+8.02ms)|virt: 0.9ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 12:32:04.1863 [INFO] uart0: [host: 0.71s (+11.98ms)|virt: 1ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 12:32:04.2034 [INFO] uart0: [host: 0.73s (+17ms)|virt: 39.7ms (+38.7ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:32:04.2105 [INFO] uart0: [host: 0.74s (+7.12ms)|virt: 39.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 12:32:04.2173 [INFO] uart0: [host: 0.75s (+6.88ms)|virt: 39.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 12:32:04.2243 [INFO] uart0: [host: 0.75s (+6.96ms)|virt: 39.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 12:32:04.2445 [INFO] uart0: [host: 0.77s (+20.19ms)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 12:32:04.2517 [INFO] uart0: [host: 0.78s (+7.18ms)|virt: 79.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 12:32:04.2624 [INFO] nrf52840_mdk: Machine paused. 12:32:04.2672 [INFO] nrf52840_mdk: Machine resumed. 12:32:04.2673 [INFO] uart0: [host: 0.8s (+15.61ms)|virt: 79.47ms (+72µs)] 12:32:04.2756 [INFO] uart0: [host: 0.8s (+8.25ms)|virt: 79.5ms (+28µs)] [5;1HPhilosopher 4 [C:-1] STARVING 12:32:04.2811 [INFO] uart0: [host: 0.81s (+5.59ms)|virt: 79.53ms (+31µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:32:04.2907 [INFO] uart0: [host: 0.82s (+7.29ms)|virt: 79.6ms (+69µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 12:32:04.2942 [INFO] uart0: [host: 0.82s (+5.72ms)|virt: 79.64ms (+37µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 12:32:04.3015 [INFO] uart0: [host: 0.83s (+7.32ms)|virt: 79.7ms (+63µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 12:32:04.3134 [INFO] uart0: [host: 0.84s (+11.9ms)|virt: 79.74ms (+45µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 12:32:04.3206 [INFO] uart0: [host: 0.85s (+7.22ms)|virt: 79.8ms (+57µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 12:32:04.3390 [INFO] uart0: [host: 0.87s (+18.44ms)|virt: 0.12s (+39.25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 12:32:04.3448 [INFO] uart0: [host: 0.87s (+5.82ms)|virt: 0.12s (+51µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:32:04.3512 [INFO] uart0: [host: 0.88s (+6.4ms)|virt: 0.12s (+99µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 12:32:04.3576 [INFO] uart0: [host: 0.89s (+6.34ms)|virt: 0.12s (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 12:32:04.3641 [INFO] uart0: [host: 0.89s (+6.57ms)|virt: 0.12s (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:32:04.3705 [INFO] uart0: [host: 0.9s (+6.39ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 12:32:04.3773 [INFO] uart0: [host: 0.91s (+6.74ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 12:32:04.3837 [INFO] uart0: [host: 0.91s (+6.46ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 12:32:04.3907 [INFO] uart0: [host: 0.92s (+7.01ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 12:32:04.4149 [INFO] uart0: [host: 0.94s (+23.68ms)|virt: 0.21s (+86.84ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 12:32:04.4206 [INFO] uart0: [host: 0.95s (+6.15ms)|virt: 0.21s (+58µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 12:32:04.4279 [INFO] uart0: [host: 0.96s (+7.31ms)|virt: 0.21s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 12:32:04.4420 [INFO] uart0: [host: 0.97s (+14.11ms)|virt: 0.23s (+23.65ms)] [3;1HPhilosopher 2 [P: 1] STARVING 12:32:04.4495 [INFO] uart0: [host: 0.98s (+7.47ms)|virt: 0.23s (+50µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 12:32:04.4615 [INFO] uart0: [host: 0.99s (+11.99ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 12:32:04.4692 [INFO] uart0: [host: 1s (+7.75ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 12:32:04.4784 [INFO] uart0: [host: 1.01s (+8.69ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 12:32:04.4939 [INFO] uart0: [host: 1.02s (+15.94ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 12:32:04.5007 [INFO] uart0: [host: 1.03s (+6.82ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:32:04.5075 [INFO] uart0: [host: 1.04s (+6.82ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 12:32:04.5164 [INFO] uart0: [host: 1.04s (+8.94ms)|virt: 0.29s (+7.84ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 12:32:04.5236 [INFO] uart0: [host: 1.05s (+7.18ms)|virt: 0.29s (+63µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 12:32:04.5237 [INFO] nrf52840_mdk: Machine paused. 12:32:04.5268 [INFO] nrf52840_mdk: Machine resumed. 12:32:04.5269 [INFO] uart0: [host: 1.05s (+3.28ms)|virt: 0.29s (+39µs)] 12:32:04.5333 [INFO] uart0: [host: 1.06s (+6.46ms)|virt: 0.29s (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 12:32:04.5459 [INFO] uart0: [host: 1.07s (+11.58ms)|virt: 0.34s (+47.56ms)] [2;1HPhilosopher 1 [P: 2] STARVING 12:32:04.5530 [INFO] uart0: [host: 1.08s (+8.05ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 12:32:04.5661 [INFO] uart0: [host: 1.09s (+13.12ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 12:32:04.5928 [INFO] uart0: [host: 1.12s (+26.72ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 12:32:04.6046 [INFO] uart0: [host: 1.13s (+11.74ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 12:32:04.6161 [INFO] uart0: [host: 1.14s (+11.1ms)|virt: 0.44s (+31µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 12:32:04.6286 [INFO] uart0: [host: 1.16s (+12.9ms)|virt: 0.49s (+47.51ms)] [4;1HPhilosopher 3 [P: 0] STARVING 12:32:04.6341 [INFO] uart0: [host: 1.16s (+5.48ms)|virt: 0.49s (+62µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:32:04.6802 [INFO] uart0: [host: 1.21s (+46.17ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:32:04.7009 [INFO] uart0: [host: 1.23s (+20.68ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 12:32:04.7267 [INFO] uart0: [host: 1.25s (+25.79ms)|virt: 0.58s (+43µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 12:32:04.7268 [INFO] nrf52840_mdk: Machine paused. 12:32:04.7540 [INFO] nrf52840_mdk: Disposed.