12:07:29.4999 [INFO] System bus created. 12:07:31.3283 [INFO] sysbus: Loaded SVD: /tmp/renode-15157/834d9476-552f-4897-836b-52b50d177dd6.tmp. Name: STM32H563. Description: STM32H563. 12:07:31.4377 [INFO] sysbus: Loading segment of 23704 bytes length at 0x8000000. 12:07:31.4526 [INFO] sysbus: Loading segment of 156 bytes length at 0x8005C98. 12:07:31.4527 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005D34. 12:07:31.4527 [INFO] sysbus: Loading segment of 17240 bytes length at 0x200000A0. 12:07:31.8414 [INFO] cpu0: Setting initial values: PC = 0x8000B05, SP = 0x200043F8. 12:07:31.8423 [INFO] nucleo_h563zi: Machine started. 12:07:31.9036 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 12:07:31.9056 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 12:07:31.9109 [WARNING] sysbus: Read from an unimplemented register ICACHE:ICACHE_CR (0x40030400), returning a value from SVD: 0x4. 12:07:31.9115 [WARNING] sysbus: Write of value 0x0 to an unimplemented register ICACHE:ICACHE_CR (0x40030400) generated from SVD. 12:07:31.9115 [WARNING] sysbus: Read from an unimplemented register ICACHE:ICACHE_CR (0x40030400), returning a value from SVD: 0x4. 12:07:31.9115 [WARNING] sysbus: Write of value 0x5 to an unimplemented register ICACHE:ICACHE_CR (0x40030400) generated from SVD. 12:07:31.9115 [WARNING] sysbus: Read from an unimplemented register PWR:PWR_UCPDR (0x4402082C), returning a value from SVD: 0x0. 12:07:31.9116 [WARNING] sysbus: Write of value 0x1 to an unimplemented register PWR:PWR_UCPDR (0x4402082C) generated from SVD. 12:07:31.9965 [WARNING] sysbus: Read from an unimplemented register PWR:PWR_VOSCR (0x44020810), returning a value from SVD: 0x0. 12:07:31.9966 [WARNING] sysbus: Write of value 0x30 to an unimplemented register PWR:PWR_VOSCR (0x44020810) generated from SVD. 12:07:31.9966 [WARNING] sysbus: Read from an unimplemented register PWR:PWR_VOSSR (0x44020814), returning a value from SVD: 0x8. 12:07:31.9966 [WARNING] sysbus: Read from an unimplemented register PWR:PWR_VOSCR (0x44020810), returning a value from SVD: 0x0. 12:07:31.9966 [WARNING] sysbus: Read from an unimplemented register PWR:PWR_VOSCR (0x44020810), returning a value from SVD: 0x0. 12:07:31.9966 [WARNING] sysbus: Read from an unimplemented register PWR:PWR_VOSCR (0x44020810), returning a value from SVD: 0x0. 12:07:31.9979 [WARNING] sysbus: [cpu0: 0x80013BE] (tag: 'PWR_DBPCR') ReadDoubleWord from non existing peripheral at 0x44020824, returning 0xFFFFFFFF. 12:07:31.9982 [WARNING] sysbus: [cpu0: 0x80013FA] (tag: 'PWR_DBPCR') ReadDoubleWord from non existing peripheral at 0x44020824, returning 0xFFFFFFFF. 12:07:31.9982 [WARNING] sysbus: Write of value 0xFFFFFFFE to an unimplemented register PWR:PWR_DBPCR (0x44020824) generated from SVD. 12:07:32.0051 [WARNING] sysbus: Read from an unimplemented register DBGMCU:DBGMCU_CR (0x44024004), returning a value from SVD: 0x0. 12:07:32.0051 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBGMCU:DBGMCU_CR (0x44024004) generated from SVD. 12:07:32.0267 [WARNING] lpuart1: Unhandled read from offset 0x2C. 12:07:32.0268 [WARNING] lpuart1: Unhandled write to offset 0x2C, value 0x0. 12:07:32.0323 [WARNING] lpuart1: Unhandled write to offset 0xC. Unhandled bits: [19] when writing value 0x82355. Tags: RESERVED (0x8). 12:07:32.0471 [INFO] usart3: [host: 0.69s (+0.69s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 12:07:32.0607 [INFO] nucleo_h563zi: Machine paused. 12:07:32.0656 [INFO] nucleo_h563zi: Machine resumed. 12:07:32.0661 [INFO] usart3: [host: 0.71s (+19.06ms)|virt: 0.13ms (+34µs)] 12:07:32.0696 [INFO] usart3: [host: 0.72s (+3.38ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 12:07:32.0723 [INFO] usart3: [host: 0.72s (+2.79ms)|virt: 0.13ms (+0s)] ---------------- 12:07:32.0766 [INFO] usart3: [host: 0.72s (+4.37ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 12:07:32.0824 [INFO] usart3: [host: 0.73s (+5.75ms)|virt: 0.2ms (+66µs)] problem (a classic multi-thread synchronization problem). 12:07:32.0888 [INFO] usart3: [host: 0.73s (+6.43ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 12:07:32.0952 [INFO] usart3: [host: 0.74s (+6.36ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 12:07:32.0990 [INFO] usart3: [host: 0.75s (+3.87ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 12:07:32.1232 [INFO] usart3: [host: 0.77s (+24.16ms)|virt: 0.32ms (+17µs)] [5;1HPhilosopher 4 [C:-1] STARVING 12:07:32.1304 [INFO] usart3: [host: 0.78s (+7.15ms)|virt: 0.32ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:07:32.1392 [INFO] usart3: [host: 0.79s (+8.83ms)|virt: 0.4ms (+83µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 12:07:32.1498 [INFO] usart3: [host: 0.8s (+10.56ms)|virt: 0.45ms (+49µs)] [6;1HPhilosopher 5 [C:-2] STARVING 12:07:32.1576 [INFO] usart3: [host: 0.8s (+7.81ms)|virt: 0.5ms (+51µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 12:07:32.1719 [INFO] usart3: [host: 0.82s (+14.28ms)|virt: 0.54ms (+35µs)] [4;1HPhilosopher 3 [P: 0] STARVING 12:07:32.1847 [INFO] usart3: [host: 0.83s (+12.83ms)|virt: 0.6ms (+65µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:07:32.1989 [INFO] usart3: [host: 0.84s (+14.22ms)|virt: 0.62ms (+19µs)] [3;1HPhilosopher 2 [P: 1] STARVING 12:07:32.2127 [INFO] usart3: [host: 0.86s (+13.82ms)|virt: 0.62ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 12:07:32.2238 [INFO] usart3: [host: 0.87s (+11.06ms)|virt: 0.7ms (+83µs)] [2;1HPhilosopher 1 [P: 2] STARVING 12:07:32.2347 [INFO] usart3: [host: 0.88s (+10.89ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 12:07:32.2480 [INFO] usart3: [host: 0.89s (+13.32ms)|virt: 0.8ms (+98µs)] [1;1HPhilosopher 0 [P: 3] STARVING 12:07:32.2824 [INFO] usart3: [host: 0.93s (+34.36ms)|virt: 40.1ms (+39.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:07:32.2971 [INFO] usart3: [host: 0.94s (+14.7ms)|virt: 40.1ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 12:07:32.3122 [INFO] usart3: [host: 0.96s (+15.14ms)|virt: 40.2ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 12:07:32.3273 [INFO] usart3: [host: 0.97s (+15.06ms)|virt: 40.24ms (+41µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 12:07:32.3549 [INFO] usart3: [host: 1s (+27.61ms)|virt: 80.11ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 12:07:32.3691 [INFO] usart3: [host: 1.02s (+14.24ms)|virt: 80.11ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 12:07:32.3699 [INFO] nucleo_h563zi: Machine paused. 12:07:32.3727 [INFO] nucleo_h563zi: Machine resumed. 12:07:32.3728 [INFO] usart3: [host: 1.02s (+3.63ms)|virt: 80.19ms (+86µs)] 12:07:32.3847 [INFO] usart3: [host: 1.03s (+11.9ms)|virt: 80.2ms (+8µs)] [5;1HPhilosopher 4 [C:-1] STARVING 12:07:32.3956 [INFO] usart3: [host: 1.04s (+10.94ms)|virt: 80.24ms (+41µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:07:32.4069 [INFO] usart3: [host: 1.05s (+11.29ms)|virt: 80.3ms (+59µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 12:07:32.4180 [INFO] usart3: [host: 1.06s (+11.16ms)|virt: 80.33ms (+29µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 12:07:32.4295 [INFO] usart3: [host: 1.08s (+11.49ms)|virt: 80.4ms (+71µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 12:07:32.4428 [INFO] usart3: [host: 1.09s (+13.31ms)|virt: 80.42ms (+18µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 12:07:32.4557 [INFO] usart3: [host: 1.1s (+12.91ms)|virt: 80.5ms (+82µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 12:07:32.4837 [INFO] usart3: [host: 1.13s (+27.96ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 12:07:32.4985 [INFO] usart3: [host: 1.14s (+14.74ms)|virt: 0.12s (+42µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:07:32.5132 [INFO] usart3: [host: 1.16s (+14.74ms)|virt: 0.12s (+50µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 12:07:32.5285 [INFO] usart3: [host: 1.17s (+15.27ms)|virt: 0.12s (+40µs)] [4;1HPhilosopher 3 [P: 0] STARVING 12:07:32.5453 [INFO] usart3: [host: 1.19s (+16.85ms)|virt: 0.12s (+60µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:07:32.5588 [INFO] usart3: [host: 1.2s (+13.53ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 12:07:32.5745 [INFO] usart3: [host: 1.22s (+15.71ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 12:07:32.5881 [INFO] usart3: [host: 1.23s (+13.52ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 12:07:32.6041 [INFO] usart3: [host: 1.25s (+16.06ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 12:07:32.6650 [INFO] usart3: [host: 1.31s (+60.9ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 12:07:32.6802 [INFO] usart3: [host: 1.33s (+15.13ms)|virt: 0.21s (+43µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 12:07:32.6961 [INFO] usart3: [host: 1.34s (+15.94ms)|virt: 0.21s (+53µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 12:07:32.7153 [INFO] usart3: [host: 1.36s (+19.16ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 12:07:32.7280 [INFO] usart3: [host: 1.37s (+12.72ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 12:07:32.8001 [INFO] usart3: [host: 1.45s (+71.32ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 12:07:32.8172 [INFO] usart3: [host: 1.46s (+17.89ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 12:07:32.8366 [INFO] usart3: [host: 1.48s (+19.43ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 12:07:32.8667 [INFO] usart3: [host: 1.51s (+30.08ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 12:07:32.8798 [INFO] usart3: [host: 1.53s (+13.12ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:07:32.8948 [INFO] usart3: [host: 1.54s (+15.01ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 12:07:32.9180 [INFO] usart3: [host: 1.56s (+23.16ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 12:07:32.9320 [INFO] usart3: [host: 1.58s (+14.01ms)|virt: 0.3s (+43µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 12:07:32.9322 [INFO] nucleo_h563zi: Machine paused. 12:07:32.9398 [INFO] nucleo_h563zi: Machine resumed. 12:07:32.9399 [INFO] usart3: [host: 1.59s (+7.91ms)|virt: 0.3s (+40µs)] 12:07:32.9534 [INFO] usart3: [host: 1.6s (+13.48ms)|virt: 0.3s (+14µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 12:07:32.9757 [INFO] usart3: [host: 1.62s (+22.34ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 12:07:32.9863 [INFO] usart3: [host: 1.63s (+10.55ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 12:07:33.0110 [INFO] usart3: [host: 1.66s (+24.69ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 12:07:33.0359 [INFO] usart3: [host: 1.68s (+24.91ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 12:07:33.0472 [INFO] usart3: [host: 1.69s (+11.28ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 12:07:33.0611 [INFO] usart3: [host: 1.71s (+13.91ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 12:07:33.1143 [INFO] usart3: [host: 1.76s (+53.22ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 12:07:33.1259 [INFO] usart3: [host: 1.77s (+11.61ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:07:33.1846 [INFO] usart3: [host: 1.83s (+58.69ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:07:33.1991 [INFO] usart3: [host: 1.85s (+14.45ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 12:07:33.2142 [INFO] usart3: [host: 1.86s (+15.17ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 12:07:33.2143 [INFO] nucleo_h563zi: Machine paused.